MCGP公司

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


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)