2007
BEEM: Benchmarks for Explicit Model Checkers
PELÁNEK, RadekZákladní údaje
Originální název
BEEM: Benchmarks for Explicit Model Checkers
Název česky
BEEM: sbírka příkladů pro explicitní ověřování modelů
Autoři
Vydání
Německo, Model Checking Software, od s. 263-267, 5 s. 2007
Nakladatel
Springer
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/07:00020585
Organizační jednotka
Fakulta informatiky
ISBN
3-540-73369-8
UT WoS
Klíčová slova anglicky
model checking benchmarks
Štítky
Příznaky
Mezinárodní význam, Recenzováno
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.
Česky
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.
Návaznosti
| GP201/07/P035, projekt VaV |
| ||
| 1M0545, projekt VaV |
|