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)
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
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems (GA102/07/0322)
Advanced Methods for Automatic Verification of Infinite-state Systems (MEB 020840)
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems (GD102/09/H042)
Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems (IC0901)
Security-Oriented Research in Information Technology (MSM0021630528)
Advanced Methods for Automatic Verification of Infinite-state Systems (MEB 020840)
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems (GD102/09/H042)
Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems (IC0901)
Security-Oriented Research in Information Technology (MSM0021630528)
Research groups
Departments