×

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文件

按年份列出的引文