×

MCGP公司

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

标准条款

1个出版物描述软件 年
MCGP：基于模型检验和遗传编程的软件综合工具
凯兹，加尔；贝利，多伦
2010
全部的 前5名

28位作者引用

三 佩利德，多伦A。
2 查特吉，克莉什南杜
2 Jobstmann，芭芭拉
2 凯兹，女孩
1 巴塞特，尼古拉斯
1 贝努希巴，图菲克
1 你好，罗德里克
1 埃弗拉德，雨果
1 芬克贝纳，伯纳德
1 格拉夫，苏珊娜
1 他，裴
1 亨辛格，托马斯A。
1 好，阮萱
1 约翰逊，科林·G。
1 姜，骊山
1 Kwiatkowska，Marta Z。
1 朗，弗里德里克
1 麦凯，罗伯特·伊恩
1 奥尔德罗，恩斯特-吕迪格
1 冯道恩
1 昆顿，索菲
1 辛格，罗希特R。
1 Uy，阮匡
1 王旭东
1 威尔切，克莱门斯
1 徐学政
1 薛，叮当
1 英，石
全部的 前5名

引用7个系列

2 信息与计算
1 信息科学
1 系统设计中的形式化方法
1 ACM杂志
1 计算机基础理论
1 科学中国。信息科学
1 程序设计中的逻辑和代数方法杂志

在2个字段中引用

12 计算机科学（68-XX）
三 博弈论、经济学、金融学和其他社会和行为科学（91-XX）

按年份引用出版物