Product detail

FLATA

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

Product type

software

Abstract

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.

Keywords

counter automata, model checking, reachability analysis, emptiness problem

Create date

20. 10. 2009

Location

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

Possibilities of use

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

Licence fee

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

www