×

MCGP公司

swMATH标识: 562
软件作者: 凯兹,加尔;贝利,多伦
说明: 我们提出了MCGP——一个生成和修正代码的工具,基于我们结合了深层模型检查和遗传编程的综合方法。给定一个LTL规范,遗传规划用于生成新的候选解,而深层模型检验用于计算候选解程序在多大程度上(即,不仅仅是是否)满足某个属性。主要的挑战是从深层模型检验的结果构造一个适应度函数,该函数与候选程序距正确解的距离有很好的相关性。该工具允许用户控制各种参数,如语法构建块、程序结构和适应度函数,并跟踪它们对合成过程收敛性的影响。
主页: https://sites.google.com/site/galkatzzz/mcgp-tool
相关软件: 棱镜;LTL2BA;旋转;塞萨尔;泰姬陵;闪光金属;流动机器人;闪蒸;闪络;SemFix公司;烟灰;瓦拉;预言;github;雅可布;基诺科普;乌姆德斯;卡德;棱镜游戏;XTL公司
参考文献: 12种出版物

标准条款

1个出版物描述软件
MCGP:基于模型检验和遗传编程的软件综合工具
凯兹,加尔;贝利,多伦
2010

按年份引用出版物