BEEM: Benchmarks for Explicit Model Checkers

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

PELÁNEK Radek

Year of publication 2007
Type Article in Proceedings
Conference Model Checking Software
MU Faculty or unit

Faculty of Informatics

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:

You are running an old browser version. We recommend updating your browser to its latest version.