Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
SMRČKA, A.
Typ produktu
software
Abstrakt
Program překládá modely pro nástroje FAST nebo FASTer, aby byly použitelné pro model checker ARMC. Cíl projektu je využít robustnost nástroje ARMC pro řadu modelů napsaných pro nástroj FAST. Překladač kompletně rozumí definici modelu v jazyku FAST a některé hlavní části popisu strategie verifikace modelu. Překladač může být jednoduše přepsán tak, aby podporoval jiné výstupní jazyky. Uživateli je tak umožněno pomocí různých verifikačních nástrojů ověřit řadu modelů specifikovaných jazykem FAST.
Klíčová slova
čítačové automaty, překladač, model, formální verifikace
Datum vzniku
29. 1. 2009
Umístění
http://fast2armc.sourceforge.net/
Možnosti využití
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www