Product Details
FLATA
Created: 2009
Czech title
FLATA
Type
software
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Authors
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
License Conditions
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, GACR, Standardní projekty, GA102/07/0322, 2007-2009, completed
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, running
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, 2009-2012, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, running
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, 2009-2012, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
Research groups
Departments