Detail produktu

FLATA

Vznik: 2009

Název česky
FLATA
Typ
software
Licence
vyžadována - zdarma
Autoři
Konečný Filip, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Bozga Marius (VERIMAG)
Iosif Radu (VERIMAG)
Klíčová slova
čítačové automaty, model checking, analýza dosažitelnosti, problém prázdnosti
Popis
FLATA je nástroj pro analýzu a manipulaci s nedeterministickými programy s celočíselnými proměnnými (známé také jako čítačové automaty). Nástroj rozhoduje problém prázdnosti vstupního modelu a redukuje vstupní model na menší model s ekvivalentním problémem prázdnosti.
Umístění
Licence
Volně šiřitelný software poskytovaný pod licencí GNU LGPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/lgpl.html).
Nahoru