瓜多尔

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公司