Suite Miller-Marin

Download(2097152 Kb)
Submitter: Paolo Marin
Description: QBF encoding of Blackbox Bounded Model Checking problems for various modifications of three industrial circuits. For details on the encoding refer to C. Miller, S. Kupferschmid, M. Lewis, B. Becker. Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. SAT, 2010
Number of families: 3