Verimag

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


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 11 ; visits: 449836