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 :
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 :