MCGP公司

我们提出了MCGP——一个生成和修正代码的工具，基于我们结合了深层模型检查和遗传编程的综合方法。给定一个LTL规范，遗传规划用于生成新的候选解，而深层模型检验用于计算候选解程序在多大程度上（即，不仅仅是是否）满足某个属性。主要的挑战是从深层模型检验的结果构造一个适应度函数，该函数与候选程序距正确解的距离有很好的相关性。该工具允许用户控制各种参数，如语法构建块、程序结构和适应度函数，并跟踪它们对合成过程收敛性的影响。

此软件的关键字

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

zbMATH中的参考文献（参考文献14条,1标准件)

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

  1. 巴塞特，N。；奎亚特科夫斯卡，M。；2018年WILT C随机合成策略
  2. 布洛姆，罗德里克；查特吉，克莉什南杜；Jobstmann，Barbara:图形游戏和反应合成（2018）
  3. 埃弗拉德，胡格；Lang，Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码（2017）
  4. 芬克贝纳，伯纳德；Olderog，Ernst-Rüdiger:Petri博弈：具有因果记忆的分布式系统的综合（2017）
  5. 查特吉，克莉什南杜；亨辛格，托马斯A。；芭芭拉，乔布斯曼；辛格，罗希特：概率环境下的测量和综合系统（2015）
  6. Uy，阮匡；和，阮宣；奥尼尔，迈克尔；麦凯，R。一、 。；Phong，Dao-Ngoc:论交叉语义局部性在遗传规划中的作用（2013）
  7. 格拉夫，苏珊娜；佩利德，多伦；Quinton，Sophie:通过模型检查实现分布式控制（2012）
  8. 他，裴；康、骊山；约翰逊，科林·G。；施颖：基于霍尔逻辑的遗传规划（2011）
  9. 凯兹，加尔；Peled，Doron:用模型检验和遗传规划综合解决领导人选举问题（2011）ioport公司
  10. 凯兹，加尔；佩利德，多伦；Schewe，Sven:通过知识积累综合分布式控制（2011）ioport公司
  11. 凯兹，加尔；Peled，Doron:MCGP:基于模型检查和遗传编程的软件综合工具（2010）ioport公司
  12. 凯兹，加尔；Peled，Doron:验证中的代码突变和自动代码更正（2010）ioport公司
  13. 凯兹，加尔；Peled，Doron:遗传规划和模型检验：合成新的互斥算法（2008）
  14. 凯兹，加尔；Peled，Doron:基于模型检验的遗传规划及其在互斥中的应用（2008）