Informace o publikaci
BEEM: Benchmarks for Explicit Model Checkers
| Název česky | BEEM: sbírka příkladů pro explicitní ověřování modelů |
|---|---|
| Autoři | |
| Rok publikování | 2007 |
| Druh | Článek ve sborníku |
| Konference | Model Checking Software |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | BEEM webpage |
| Obor | Informatika |
| Klíčová slova | model checking benchmarks |
| Popis | 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. |
| Související projekty: |