Detail page for BMC family

Download (210944 Kb)
Submitter:Hratch Mangassarian
Suite:Mangassarian-Veneris
Domain:Formal Verification
Description: The BMC family consists of instances of Bounded Model Checking, where different properties are being checked for several circuits and different bounds.
Number of instances:132
Results:
Instances: