BEEM: Benchmarks for Explicit Model Checkers

PELÁNEK, Radek. BEEM: Benchmarks for Explicit Model Checkers. In Model Checking Software. Německo: Springer, 2007, p. 263-267. ISBN 3-540-73369-8.

Basic information

• Original name: BEEM: Benchmarks for Explicit Model Checkers
• Name in Czech: BEEM: sbírka příkladů pro explicitní ověřování modelů
• Authors: PELÁNEK, Radek (203 Czech Republic, guarantor).
• Edition: Německo, Model Checking Software, p. 263-267, 5 pp. 2007.
• Publisher: Springer

Other information

• Original language: English
• Type of outcome: Proceedings paper
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Germany
• Confidentiality degree: is not subject to a state or trade secret
• WWW: BEEM webpage
• RIV identification code: RIV/00216224:14330/07:00020585
• Organization unit: Faculty of Informatics
• ISBN: 3-540-73369-8
• UT WoS: 000247906900017
• Keywords in English: model checking benchmarks
• Tags: model checking benchmarks
• Tags: International impact, Reviewed

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.

Abstract (in Czech)

Představujeme BEEM - sbírku příkladů pro explicitní ověřování modelů. Tato sbírka obsahuje více než 50 parametrizovaných modelů (300 konkrétních instancí) společně s jejich vlastnostmi (bezpečnost i živost). Sbírka je prezentována pomocí webového portálu, který obsahuje detailní informace o všech modelech. Portál také obsahuje informace o stavových prostorech a umožňuje výběr modelů pro experimenty. Webový portál je dostupný na adrese http://anna.fi.muni.cz/models.

Links

• GP201/07/P035, research and development project: Name: Automatická analýza modelů pomocí procházení stavového prostoru

Investor: Czech Science Foundation, Automatic model analysis by state space exploration

• 1M0545, research and development project: Name: Institut Teoretické Informatiky

Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science