GBDD公司 swMATH编号： 15451 软件作者： M.尼尔森 描述： GBDD-表示与BDD关系的包。规则模型检查是一个基于自动机理论的无限状态系统统一验证框架。它使用有限字母表上的单词表示状态，使用有限自动机表示状态集。最近，这些技术也被应用于有限树，我们希望将这些技术推广到其他类型的结构，如图。有关常规模型检查的介绍，您可以参阅马库斯·尼尔森的执照论文。在“软件”部分中，您可以找到以下软件包，这些软件包是在GPL:BDD的Meta软件包下许可的。包gbdd在BDD之上实现了一个抽象层。这允许在一个API下使用多个BDD实现。 主页： http://www.regularmodelchecking.com/ 相关软件： 库雷;Z轴;MCK公司;哈斯克尔 引用于： 1文件 1位作者引用 1 沃尔夫拉姆·卡尔 连载1篇 1 逻辑与代数程序设计杂志 在4个字段中引用 1 数学逻辑和基础（03-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 1 计算机科学（68至XX） 按年份列出的引文