Přístupnostní navigace
E-application
Search Search Close
Product detail
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