PCC (Property Coverage Checker) is a tool to evaluate the quality of the model checking process. In particular, it estimates the degree of incompleteness of a set of formal properties that have been defined to verify the correctness of an HDL description with respect to the specification.

Contact:
Prof. Franco Fummi (franco.fummi@univr.it)