fast2armc 程序将 FAST(er) 工具的计数器自动机模型的源代码转换为 ARMC 序言语法。
版本历史记录
- 版本 1.2.2 发布于 2010-02-24
若干修复和更新 - 版本 1.2.2 发布于 2010-02-24
软件信息
- 软件分类: 发展 > 其他
- 发布者: fast2armc.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 1.2.2
- 适用平台: windows
fast2armc 程序将 FAST(er) 工具的计数器自动机模型的源代码转换为 ARMC 序言语法。