欧氏瓣心内膜炎

平衡验证环境(EVE)是一个形式化的验证工具,用于自动分析并发和多智能体系统(以多人博弈形式表示)的时间均衡特性。系统的建模使用简单反应模块语言(SRML)作为独立系统组件(游戏中的玩家/代理)的集合,假设这些组件具有使用线性时序逻辑(LTL)公式表示的目标。特别是,EVE检查了这类系统中纳什均衡的存在性,并可用于自动进行合理的综合和验证。