Informace o publikaci
EMMA: Explicit Model Checking Manager (Tool Presentation)
| Název česky | EMMA: Manažer explicitního ověřování modelů (prezentace nástroje) |
|---|---|
| Autoři | |
| Rok publikování | 2009 |
| Druh | Článek ve sborníku |
| Konference | Model Checking Software |
| Fakulta / Pracoviště MU | |
| 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: |