Detail aplikovaného výsledku

FLATA

KONEČNÝ, F.; VOJNAR, T.; BOZGA, M.; IOSIF, R.

Originální název

FLATA

Anglický název

FLATA

Druh

Software

Abstrakt

FLATA is a toolset for the manipulation and the analysis of non-deterministic integer programs (also known as counter automata). FLATA checks emptiness of the model and transforms the input model to a smaller model with equivalent emptiness problem.

Abstrakt anglicky

FLATA is a toolset for the manipulation and the analysis of non-deterministic integer programs (also known as counter automata). FLATA checks emptiness of the model and transforms the input model to a smaller model with equivalent emptiness problem.

Klíčová slova

counter automata, model checking, reachability analysis, emptiness problem

Klíčová slova anglicky

counter automata, model checking, reachability analysis, emptiness problem

Umístění

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

Licenční poplatek

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

www

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