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

Projects
Research groups
Departments
Back to top