Detail produktu

FAST to ARMC Translator

Vznik: 2009

Název anglicky
FAST to ARMC Translator
Typ
software
Licence
vyžadována - zdarma
Autoři
Klíčová slova

čítačové automaty, překladač, model, formální verifikace

Popis

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.

Umístění
Licence

Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Projekty
Výzkumné skupiny
Pracoviště
Nahoru