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)
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
Bohatý modelovací jazyk -- infrastruktura pro spolehlivé počítačové systémy (IC0901)
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (GD102/09/H042)
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)
Pokročilé techniky automatické verifikace nekonečně stavových systémů (MEB 020840)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (GD102/09/H042)
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)
Pokročilé techniky automatické verifikace nekonečně stavových systémů (MEB 020840)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)
Výzkumné skupiny
Pracoviště