欢迎访问EVE网站

EVE（Equilibrium Verification Environment）是一种形式化的验证工具，用于自动分析表示为多层博弈的并发和多智能体系统的时间均衡特性。使用简单反应模块语言（SRML）对系统进行建模，将其作为独立系统组件（游戏中的玩家/代理）的集合，假设这些组件具有使用线性时态逻辑（LTL）公式表示的目标。特别是，EVE检查此类系统中是否存在纳什均衡，并可用于自动进行理性综合和验证。

尝试EVE Online

要在线运行EVE，请点击以下链接：在线运行EVE。

下载

EVE也可以下载。EVE已经在Fedora和Ubuntu操作系统上进行了测试。要下载代码，请点击以下链接：GitHub上的EVE。