MCGP公司 swMATH ID: 562 软件作者: Gal Katz;多龙·贝利德 描述: 我们提出了MCGP——一种基于我们结合深度模型检查和遗传编程的综合方法的生成和更正代码的工具。给定一个LTL规范,遗传编程用于生成新的候选解,而深度模型检查用于计算候选解程序在多大程度上(即不仅仅是是否)满足某个属性。主要的挑战是根据深度模型检查的结果构建一个适应度函数,该函数与候选程序与正确解的距离具有良好的相关性。该工具允许用户控制各种参数,例如语法构建块、程序结构和适应度函数,并跟踪它们对合成过程收敛的影响。 主页: https://sites.google.com/site/galkatzzz/mcgp-tool网站 相关软件: 棱镜;LTL2BA公司;自旋蛋白;CESAR公司;深度编码器;FlashMeta软件;FlowDroid(流动机器人);FlashRelate(闪存相关);TAJ公司;闪光灯提取;SemFix公司;烟尘;WALA公司;PROPhESY公司;github;日本石油公司;基因科普;UMDES公司;CUDD公司;PRISM-游戏 引用于: 12文件 标准条款 1出版物描述软件 年份 MCGP:一种基于模型检查和遗传编程的软件综合工具Gal Katz;多龙·贝利德 2010 全部的 前5名28位作者引用 三 Doron A.Peled。 2 克里希南德·查特吉 2 芭芭拉·乔布斯曼 2 加尔·卡茨 1 尼古拉斯·巴塞特 1 图菲克·贝努希巴 1 罗德里克·布洛姆 1 埃夫拉德,雨果 1 伯恩德·芬克贝纳 1 苏珊娜·格拉芙 1 他,贝聿铭 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 阮轩惠 1 科林·约翰逊。 1 康丽珊 1 Kwiatkowska,Marta Z。 1 弗雷德里克·朗 1 罗伯特·伊恩·麦凯 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 Phong,Dao Ngoc公司 1 苏菲·昆顿 1 罗希特·辛格。 1 Uy,Nguyen Quang(阮光) 1 王旭东 1 克莱门斯·威尔奇 1 徐学政 1 薛晶玲 1 应、石 全部的 前5名7篇连载文章中引用 2 信息与计算 1 信息科学 1 系统设计中的形式化方法 1 美国医学会杂志 1 计算机基础理论 1 科学中国。信息科学 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 12 计算机科学(68至XX) 三 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文