Překladač modelu FAST pro ARMC

Autoři:Smrčka Aleš
Typ:software
Vznik:2009
Licence:vyžadována - zdarma
Soubory: 
+Typ Jméno Název Vel. Poslední změna
iconfast2armc-1.2.1.tar.gz80,6 KB2009-01-29 15:30:12
^ Vybrat vše
S vybranými:
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í:
http://fast2armc.sourceforge.net/
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
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).

Vaše IPv4 adresa: 35.175.200.4
Přepnout na https