Faculty of Information Technology, BUT

Product Details

FLATA

Created: 2009

Czech title
FLATA
Type
software
License
required - free
Authors
Konečný Filip, Ing. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Bozga Marius (VERIMAG)
Iosif Radu (VERIMAG)
Keywords
counter automata, model checking, reachability analysis, emptiness problem
Description
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.
Location
Licence
Free software under the terms of GNU LGPL (cf. http://www.gnu.org/licenses/lgpl.html).
Back to top