Detailed Information on Publication Record
2007
BEEM: Benchmarks for Explicit Model Checkers
PELÁNEK, RadekBasic 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
Language
English
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í
References:
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
International impact, Reviewed
Změněno: 23/6/2009 12:54, doc. Mgr. Radek Pelánek, Ph.D.
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 |
| ||
| 1M0545, research and development project |
|