|
BMC Benchmarks from the IBM Formal Verification Benchmarks Library
To access the BMC benchmarks, you must first read and accept the terms of this license.
A description and illustration of the benchmark can be found in the following document: Emmanuel Zarpas, "Benchmarking SAT Solvers for Bounded Model Checking", Proceeding of the 8th International Conference on Theory and Applications of Satisfiability Testing (SAT'05), LNCS 3569, Springer-Verlag 2005.
Some illustrations are also available here.
For more information and to get a password, please contact Emmanuel Zarpas: (zarpas@il.ibm.com)
| 
