The report FIMU-RS-2006-03
Web Portal for Benchmarking Explicit Model Checkers
by Radek Pelánek, October 2006, 39 pages.
We present BEEM - BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 models together with correctness properties (both safety and liveness). The benchmark set is accompanied by an comprehensive web
The report describes the rationale beyond the form of the benchmark set, the design of the web portal and the main aspects of its realization, and also an example of an experimental analysis over the benchmark set: an analysis of a performance of sequential and distributed reachability.
The address of the web portal is http://anna.fi.muni.cz/models .
Please install a newer browser for this site to function properly.