项目描述 ：
Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.

高级语言： Python

项目主页：

项目地址: git://github.com/eve-mas/eve-parity.git

创建时间： 2018-01-30T22:14:49Z
项目社区：https://github.com/eve-mas/eve-parity
开源协议：GNU General Public License v3.0
下载