开发者 fast2armc.sf.net

fast2armc 程序将 FAST（er） 工具的计数器自动机模型的源代码转换为 ARMC 序言语法。