Detail page for blackbox-01X-QBF family

Download (76050.12 Kb)
Submitter:Marc Herbstritt
Domain:Formal Verification
Description: The QBF examples are derived from Bounded Model Checking of Blackbox Designs where the blackboxes are modelled using different styles, i.e., using 01X-logic or by using additional variables. The benchmark family contains several configurations for designs having 3 blackboxes. The unfolding depth is from 1 to 10.
Number of instances:450