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).

Your IPv4 address: 54.146.5.16
Switch to IPv6 connection

DNSSEC [dnssec]