FLATA |
| Authors: | Konečný Filip, Vojnar Tomáš, Bozga Marius, Iosif Radu |
|---|
| Type: | software |
| Created: | 2009 |
| Licence: | required - no fee | | 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: |
|---|
| http://www-verimag.imag.fr/FLATA.html |
| Research groups: |
|---|
|
| Departments: |
|---|
|
| Licence terms: |
|---|
| Free software under the terms of GNU LGPL (cf. http://www.gnu.org/licenses/lgpl.html). |
|
Faculty of Information Technology