SPARK专业版 swMATH ID: 10842 软件作者: AdaCore公司 描述: SPARK Pro是一个集成的静态分析工具套件,用于通过形式化方法验证高完整性软件。它支持SPARK 2014语言,并提供高级验证工具,这些工具紧密集成到GNAT编程工作室(GPS)和GNATbench IDE中。 主页: http://www.adacore.com/sparkpro/ 相关软件: 超小卫星;污水处理厂;CIL公司;爆炸;Klockwork公司;声纳编码;seL4级;GDB公司;J拉舍尔;夜鹰;CBMC公司;班德拉;快速检查;投掷;利马特河;糠;茂物;吉隆坡机场;z3(零3);自旋蛋白 引用于: 1文件 5位作者引用 1 亚历克斯·格罗斯 1 克劳斯·哈维隆德 1 Gerard J.霍尔兹曼。 1 拉杰夫·乔希 1 徐如刚 连载1篇 1 数学与人工智能年鉴 在2个字段中引用 1 计算机科学(68-XX) 1 流体力学(76-XX) 按年份列出的引文