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).

Projekty
Výzkumné skupiny
Pracoviště
Nahoru