Erigone 3.1.1下载地址

一个命令行实用程序设计模型验证和模拟

Erigone是一个命令行实用程序设计模型检测。通过访问可用的命令，您可以使用该应用程序。

您可以编译PML文件。该方案的特点，可以帮助您检查执行模式的仿真和验证算法。