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.


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.


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.