FLATA

Description

FLATA is a toolset for the manipulation and the analysis of non-deterministic integer programs (also known as counter automata). The tool is available at :

http://nts.imag.fr/index.php/Flata