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 | ||
| Families: | |||
| Results: | |||