Applied result detail

FLATA

KONEČNÝ, F.; VOJNAR, T.; BOZGA, M.; IOSIF, R.

Original Title

FLATA

English Title

FLATA

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.

Abstract in English

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

Key words in English

counter automata, model checking, reachability analysis, emptiness problem

Location

http://www-verimag.imag.fr/FLATA.html

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

http://www-verimag.imag.fr/FLATA.html