D
2007
BEEM: Benchmarks for Explicit Model Checkers
PELÁNEK, Radek
Basic information
Original name
BEEM: Benchmarks for Explicit Model Checkers
Name in Czech
BEEM: sbírka příkladů pro explicitní ověřování modelů
Edition
Německo, Model Checking Software, p. 263-267, 5 pp. 2007
Other information
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
RIV identification code
RIV/00216224:14330/07:00020585
Organization unit
Faculty of Informatics
Keywords in English
model checking benchmarks
Tags
International impact, Reviewed
V originále
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.
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 |
|
Displayed: 20/10/2024 07:52