FLATA

FLATA

software

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Konečný Filip, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Bozga Marius
Radu Iosif

čítačové automaty, model checking, analýza dosažitelnosti, problém prázdnosti

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.

http://www-verimag.imag.fr/FLATA.html

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

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ů, GAČR, Doktorské granty, GD102/09/H042, 2009-2012, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, 2007-2009, ukončen
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, řešení

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů (UITS)