About
The fast2armc program translates source code of a counter automata model
for
FAST/
FASTer tool to
ARMC's syntax. The tool
design puts emphasis on easy extension of support of other output formats.
Installation
Download the latest version of
fast2armc and extract it. Follow the instructions in the
README file, run
fast2armc.py executable -- you will need
Python >= 2.4 < 3.0.
Acknowledgement
This project is one of results within
Jonathan
Billington 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
MSM 0021630528 of the Czech Ministry of Education. Also thanks to
Rishabh Singh for his comments.