MCGP公司

我们提出了MCGP——一个生成和修正代码的工具，基于我们结合了深层模型检查和遗传编程的综合方法。给定一个LTL规范，遗传规划用于生成新的候选解，而深层模型检验用于计算候选解程序在多大程度上（即，不仅仅是是否）满足某个属性。主要的挑战是从深层模型检验的结果构造一个适应度函数，该函数与候选程序距正确解的距离有很好的相关性。用户可以根据程序的结构、功能等对程序的适应度、结构等进行控制。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（14篇文章引用了，1标准件)

显示第1至14个结果，共14个。
按年份排序(引用)

  1. Basset，N.；Kwiatkowska，M.；Wiltsche，C.：多目标随机博弈的组合策略综合（2018）
  2. Bloem，Roderick；Chatterjee，Krishnendu；Jobstmann，Barbara:图形游戏和反应合成（2018）
  3. Evrard，Hugues；Lang，Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码（2017）
  4. Finkbeiner，Bernd；Olderog，Ernst-Rüdiger:Petri博弈：具有因果记忆的分布式系统的综合（2017）
  5. Chatterjee，Krishnendu；Henzinger，Thomas A.；Jobstmann，Barbara；Singh，Rohit：概率环境中的测量和综合系统（2015）
  6. Uy，Nguyen Quang；Hoai，Nguyen Xuan；O'Neill，Michael；McKay，R.I.；Phong，Dao-Ngoc:论交叉的语义局部性在遗传规划中的作用（2013）
  7. Graf，Susanne；Peled，Doron；Quinton，Sophie:通过模型检查实现分布式控制（2012）
  8. 何，裴；康，立山；约翰逊，科林G.；应，石：基于霍尔逻辑的遗传编程（2011）
  9. 加尔各答卡茨；佩雷德，多伦：用模型检验和遗传规划综合解决领导人选举问题的方法（2011年）ioport公司
  10. 加尔各答：通过知识积累综合分布式控制（2011）ioport公司
  11. 加尔各答：基于模型检查和遗传编程的软件综合工具（2010）ioport公司
  12. Katz，Gal；Peled，Doron:验证中的代码突变和自动代码更正（2010）ioport公司
  13. Gal Katz；Peled，Doron:遗传规划和模型检验：合成新的互斥算法（2008）
  14. 加尔各答：基于模型检验的遗传规划与互斥应用（2008）