下载

EVE源代码

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

一些SRML代码示例

无限重复匹配的便士Alice（代表Bob）拿着硬币加利福尼亚州（分别为。哥伦比亚广播公司). 他们可以将硬币翻转到头部（以变量为真表示）或尾部（以假表示）。这一轮重复了无数次。Alice（resp.Bob）的目标是经常赢得不忠，用LTL公式表示GF（钙<->cb）（分别为。GF！（ca<->cb）).

无限重复匹配便士（CGS）.无限重复的匹配硬币，被建模为并发游戏结构（CGS）。

对等网络游戏。如所示【Toumi等人，2015年】在这里，我们使用LTL而不是CTL目标。

基于环的互斥算法。如所示【古铁雷斯等人，2017a】.

互模拟示例1激励性示例1（图1）【古铁雷斯等人，2017b】.

互模拟示例2。中给出的激励性示例2（图2）【古铁雷斯等人，2017b】.