Benchmarks used in publications

Benchmarks used in the following publications are available:

Kenneth L. McMillan, Nina Amla: Automatic Abstraction without Counterexamples. TACAS 2003: 2-17

Kenneth L. McMillan: Applying SAT Methods in Unbounded Symbolic Model Checking. CAV 2002: 250-264

Please contact mcmillan@cadence.com.

Last modified: Thu Apr 3 15:53:33 PST 2003