摩卡

MOCHA:模型检查中的模块化。MOCHA是一个不断增长的用于系统规范和验证的交互式软件环境。MOCHA的主要目标是开发而不是破坏自动验证中的设计结构。MOCHA的目标是开发新的验证算法和方法。MOCHA有两个版本,cMocha(版本1.0.1)和jMocha(版本2.0)。


zbMATH中的参考文献(参考文献91篇文章)

显示结果1到20,共91个。
按年份排序(引用)
  1. 古铁雷斯,朱利安;佩雷利,朱塞佩;伍尔德里奇,迈克尔:多人游戏与低密度脂蛋白目标在有限的痕迹(2021年)
  2. 贝拉迪内利,弗朗西斯科;洛穆西奥,阿莱西奥;穆拉诺,阿尼埃洛;Rubin,Sasha:基于策略逻辑的公共行为的多智能体系统验证(2020)
  3. 古铁雷斯,朱利安;纳吉布,穆罕默德;佩雷利,朱塞佩;伍尔德里奇,迈克尔:自动时间均衡分析:多人游戏的验证和综合(2020)
  4. 古铁雷斯,朱利安;哈伦斯坦,保罗;佩雷利,朱塞佩;伍尔德里奇,迈克尔:纳什均衡和互模拟不变性(2019)
  5. 贾姆罗加,沃伊切赫;克纳皮克,米迦;库皮耶夫斯基,达米安;Mikulski,Łukasz:不完全信息下战略能力的近似验证(2019)
  6. 吉安纳科普卢,迪米特拉;南乔希,基达尔S。;Păsăreanu,Corina s.:合成推理(2018)
  7. 古铁雷斯,朱利安;佩雷利,朱塞佩;伍尔德里奇,迈克尔:反应模块游戏中的不完美信息(2018)
  8. 韦斯特曼,乔纳斯;Nyberg,Mattias:异构系统中职责分离的合同条件(2018)
  9. 古铁雷斯,朱利安;哈伦斯坦,保罗;伍尔德里奇,迈克尔:关于博弈型并发系统中均衡的推理(2017)
  10. 古铁雷斯,朱利安;哈伦斯坦,保罗;伍尔德里奇,迈克尔:从模型检验到平衡检验:理性验证的反应性模块(2017)
  11. 黄忠浩;舍韦,斯文;王法恩:模型检验迭代游戏(2017)
  12. 阿勒奇纳,娜塔莎;Logan,Brian:验证资源受限代理系统(2016)
  13. 陈清亮;苏,凯乐;萨塔尔,阿卜杜勒;香玉、香玉;陈爱祥:BDI代理商的一阶联盟逻辑(2016)
  14. 库瓦罗斯,帕纳吉奥蒂斯;Lomuscio,Alessio:多智能体系统的参数化验证(2016)
  15. 斯沃雷·奥娃,Mária;Kwiatkowska,Marta:随机博弈的定量验证与策略综合(2016)
  16. Aştefănoaei,Lăcrămioara;本·雷亚纳,苏哈;本撒伦,萨德克;波兹加,马吕斯;Combaz,Jacques:基于自动不变生成的定时系统组合验证(2015)
  17. 图米,亚历克西斯;古铁雷斯,朱利安;伍尔德里奇,迈克尔:自动验证并发游戏中纳什均衡的工具(2015)
  18. 王海阳;段振华;田聪:交替投影时序逻辑的符号模型检验(2015)
  19. 查特吉,克莉什南杜;Raman,Vishwanath:为数字合同签署假设担保合成(2014)
  20. 皮莱基,杰瑞;贝德纳齐克,马雷克A。;Jamroga,Wojciech:多智能体系统统一策略的综合与验证(2014)