KBPs

KBPs基于知识的程序:基于知识的程序(Knowledge-based programmes,KBPs)是一种直接关联代理的知识和行为的形式主义。这里我们提出了一个将KBPs编译成可执行自动机的一般方案,并用Isabelle/HOL给出了正确性证明。我们使用Isabelle的locale机制自上而下地开发算法来构造这些证明,并说明使用Isabelle的代码生成器可以合成两个经典的示例。

zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. Gammie,Peter:有限同步环境中基于知识的程序的验证合成(2011)