BEEM: Benchmarks for explicit model checkers (2007)
| Venue: | In Proc. of SPIN Workshop, volume 4595 of LNCS |
| Citations: | 22 - 5 self |
BibTeX
@INPROCEEDINGS{Pelánek07beem:benchmarks,
author = {Radek Pelánek},
title = {BEEM: Benchmarks for explicit model checkers},
booktitle = {In Proc. of SPIN Workshop, volume 4595 of LNCS},
year = {2007},
pages = {263--267},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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
Citations
| 346 | The SPIN Model Checker: Primer and Reference Manual - Holzmann - 2003 |
| 116 | Evaluating deadlock detection methods for concurrent software - Corbett - 1996 |
| 17 | Typical structural properties of state spaces - Pelánek |
| 13 | DiVinE – A tool for distributed verification - Barnat, Brim, et al. - 2006 |
| 8 | Benchmarking finite-state verifiers - Avrunin, Corbett - 2000 |
| 7 | Web portal for benchmarking explicit model checkers - Pelánek - 2006 |
| 4 | Benchmarking explicit state parallel model checkers - Jones, Mercer, et al. - 2003 |
| 3 | Towards a benchmark for model checkers of asynchronous concurrent systems - Atiya, Catano, et al. - 2005 |
| 3 | The Ideal of Verified Software - Hoare - 2006 |
| 1 | Yahoda: the database of verification tools - Crhová, Krčál, et al. - 2002 |
