EMMA: Explicit Model Checking Manager (Tool Presentation)

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky EMMA: Manažer explicitního ověřování modelů (prezentace nástroje)
Autoři

PELÁNEK Radek ROSECKÝ Václav

Rok publikování 2009
Druh Článek ve sborníku
Konference Model Checking Software
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-642-02652-2_15
Obor Informatika
Klíčová slova model checking; evaluation; tool
Popis Metoda ověřování modelu je většinou popisována jako automatická metoda; v praxi však použití této metody není zdaleka plně automatické. V tomto příspěvku rozebíráme koncept verifikačního manažera, který přispívá k automatizaci verifikace prostřednictvím automatického paralelního spouštění velkého množství verifikačních technik. Popisujeme praktickou realizaci tohoto konceptu (nástroj EMMA) a diskutujeme praktické zkušenosti s použitím nástroje.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.