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. |
| Spin'07 paper, Technical report | 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. |
| References | Applications of BEEM, other benchmarks, tools. |
The correspondence adress is:
Last modification: 14th January 2010
