BEEM: BEnchmarks for Explicit Model checkers

This is a web portal for a benchmark set for explicit model checkers.

Description of models List of all models in the benchmark set with detailed information for each model.
Documentation Conference paper and technical report about the benchmark set and the web portal: includes description of the benchmark set and its purpose; description of the DVE modeling language. bibtex
Selection of instances Web form for listing instances in the set and for selection of specific instancies of models.
Instance generator A simple web form for generating instances of models with parameters specified by user.
Download All models and their descriptions for download (.tar.gz file).
Properties of state spaces Summary information about properties of state spaces.
How to submit a new model If you have a proposal for a new model, we will be glad to add it to the benchmark.
References Applications of BEEM, other benchmarks, tools.
Feedback is highly welcomed. Please send any comments, proposals, ideas, critics. The correspondence address is:
Last modification: Sep 8, 2009