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 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 12 ; visites : 451825