swMATH ID: 4142
Software Authors: Marius Bozga; Radu Iosif; Filip Konecny; Tomas Vojnar
Description: FLATA is a toolset for the manipulation and the analysis of non-deterministic integer programs (also known as counter automata). The main functionalities of FLATA are: reachability analysis of non-recursive programs - checking if an error control state is reachable termination analysis of non-recursive programs - computation of termination preconditions computation of summaries of recursive programs
Homepage: http://nts.imag.fr/index.php/Flata
Related Software: Eldarica; Princess; z3; FAST; Aspic; Spacer; Houdini; c2i; TREX; Uppaal; Booster; CoVaC; FunArray; ALGOL 60; ABC; VeriMAP; HSF; PPL; Yices; LOGEN
Cited in: 21 Publications
Further Publications: http://www-verimag.imag.fr/Publications-by-years,255.html?lang=en

Citations by Year