GBDD swMATH ID: 15451 Software Authors: M. Nilsson Description: GBDD — A package for representing relations with BDDs. Regular Model Checking is a framework for unified verification of infinite-state systems based on automata theory. It represents states using words over a finite alphabet and sets of states using finite automata. Recently, these techniques have also been applied to finite trees and we hope to generalize these techniques to other kinds of structures such as graphs. For an introduction to Regular Model Checking, you can look at the Licentiate Thesis of Marcus Nilsson. In the Software section you will find the following packages, licensed under GPL: Meta package for BDDs. The package gbdd implements an abstraction layer on top of BDDs. This allows several BDD implementation to be used under one API. Homepage: http://www.regularmodelchecking.com/ Related Software: KURE; Z; MCK; Haskell Cited in: 1 Publication Cited by 1 Author 1 Kahl, Wolfram Cited in 1 Serial 1 The Journal of Logic and Algebraic Programming Cited in 4 Fields 1 Mathematical logic and foundations (03-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Computer science (68-XX) Citations by Year