The fast2armc program translates source code of a counter automata model
tool to ARMC
's syntax. The tool
design puts emphasis on easy extension of support of other output formats.
Download the latest version of fast2armc
and extract it. Follow the instructions in the
file, run fast2armc.py
executable -- you will need Python
>= 2.4 < 3.0.
This project is one of results within Jonathan
visit in our department
. The project was
developped with support coming from VeriFIT research group at Brno
University of Technology, CZ, and the project CEZ
of the Czech Ministry of Education. Also thanks to
Rishabh Singh for his comments.