EMMA: Explicit Model Checking Manager (Tool Presentation)

• 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
• Doi: https://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

• Institut Teoretické Informatiky
• Automatická analýza modelů pomocí procházení stavového prostoru