MCGP公司

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


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. 《综合环境》;Thomas Zindu,Jobhndu,《测量系统》;Thomas Zindu,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)