Checking Relational Specifications With Binary Decision Diagrams.

Craig Damon Daniel Jackson Somesh Jha

Published in: SIGSOFT FSE (1996)

Keyphrases

binary decision diagrams
model checker
symbolic model checking
boolean functions
relational databases
model checking
planning problems
variable ordering
data model
knowledge compilation
learning algorithm
general purpose
database
data streams
formal specification
formal verification
database systems
real world