BEEM: Benchmarks for Explicit Model Checkers

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	BEEM: sbírka příkladů pro explicitní ověřování modelů
Autoři	PELÁNEK Radek
Rok publikování	2007
Druh	Článek ve sborníku
Konference	Model Checking Software
Fakulta / Pracoviště MU	Fakulta informatiky
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:	Institut Teoretické Informatiky Automatická analýza modelů pomocí procházení stavového prostoru