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
Last modification: Sep 8, 2009