×

瓜多尔

swMATH ID: 28543
软件作者: 大卫·哈丁;康拉德·斯林德(Konrad Slind);迈克尔·惠伦(Michael Whalen);团结Pham
描述: Guardol语言和验证系统。Guardol是一种特定于域的语言,旨在帮助构建在树形数据上运行的正确网络保护。Guardol系统从Guardor程序生成Ada代码,并提供规范和自动验证支持。保护程序和规范被转换为高阶逻辑,然后演绎地转换为适用于树结构数据上递归函数的SMT式决策过程的形式。结果是可以完全自动地证明Guardol程序的困难属性。
主页: https://link.springer.com/chapter/10.1007/978-3642-28756-5_3
相关软件: 开放式SMT;麻糬;RADA公司;CVC4型;里昂;z3(零3);PVS公司;伊莎贝尔/HOL;达夫尼;ACL2型;HOL公司
引用于: 1文件

连载1篇

1 自动推理杂志

在1个字段中引用

1 计算机科学(68至XX)

按年份列出的引文