** Next:** Random Formulas
** Up:** Model Checking Benchmarking Scripts
** Previous:** Symbolic Tool Models

In [4],
we benchmarked the tools against three types of scalable formulas:
random formulas, counter formulas, and pattern formulas. Scalability
played an important role in our experiment, since the goal was to
challenge the tools with large formulas and state spaces.

**Subsections**

Kristin Yvonne Rozier
2007-05-10