BEEM: Benchmarks for Explicit Model Checkers
| Authors | |
|---|---|
| Year of publication | 2007 |
| Type | Article in Proceedings |
| Conference | Model Checking Software |
| MU Faculty or unit | |
| Citation | |
| Web | BEEM webpage |
| Field | Informatics |
| Keywords | model checking benchmarks |
| Description | We present BEEM - BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their correctness properties (both safety and liveness). The benchmark set is accompanied by an comprehensive web portal, which provides detailed information about all models. The web portal also includes information about state spaces and facilities for selection of models for experiments. The address of the web portal is http://anna.fi.muni.cz/models. |
| Related projects: |