BEEM: Benchmarks for Explicit Model Checkers

Abstract. 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.

• Type: Conference
• Year: 2007
• Where: SPIN
• Authors: Radek Pelánek
• Keywords: Comprehensive Web Portal, Explicit Model Checkers, SPIN 2007, Theoretical Computer Science, Web Portal