瓜多尔

Guardol语言和验证系统。Guardol是一种特定于域的语言,旨在帮助构建正确的网络防护器,这些防护器在树状数据上运行。Guardol系统从Guardol程序生成Ada代码,并提供规范和自动验证支持。保护程序和规范被转换成高阶逻辑,然后演绎地转换成适合于树结构数据上递归函数的SMT式决策过程的形式。其结果是可以完全自动地证明Guardol程序的困难性质。

zbMATH中的参考文献(参考 2篇文章 引用)

显示结果1到2,共2个。
按年份排序(引用)

  1. Pham,Tuan Hung;Gacek,Andrew;Whalen,Michael W.:关于代数数据类型的抽象推理(2016)
  2. David Hardin;Konrad Slind;Michael Whalen;Pham,Tuan Hung:Guardol语言和验证系统(2012)ioport公司