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 | Plan du site | Site réalisé avec SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 683541