BEEM: Benchmarks for Explicit Model Checkers
PELÁNEK, Radek. BEEM: Benchmarks for Explicit Model Checkers. In Model Checking Software. Německo: Springer, 2007, s. 263-267. ISBN 3-540-73369-8. |
Další formáty:
BibTeX
LaTeX
RIS
|
Zá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 | PELÁNEK, Radek (203 Česká republika, garant). |
Vydání | Německo, Model Checking Software, od s. 263-267, 5 s. 2007. |
Nakladatel | Springer |
Další údaje | |
---|---|
Originální 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í |
WWW | BEEM webpage |
Kód RIV | RIV/00216224:14330/07:00020585 |
Organizační jednotka | Fakulta informatiky |
ISBN | 3-540-73369-8 |
UT WoS | 000247906900017 |
Klíčová slova anglicky | model checking benchmarks |
Štítky | model checking benchmarks |
Příznaky | Mezinárodní význam, Recenzováno |
Změnil | Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:54. |
Anotace |
---|
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. |
Anotace č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 | Název: Automatická analýza modelů pomocí procházení stavového prostoru |
Investor: Grantová agentura ČR, Automatická analýza modelů pomocí procházení stavového prostoru | |
1M0545, projekt VaV | Název: Institut Teoretické Informatiky |
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky |
VytisknoutZobrazeno: 12. 10. 2024 17:14