Symbolic Model Checking with Partitioned Transistion Relations.

Jerry R. Burch Edmund M. Clarke David E. Long

Published in: VLSI (1991)

Keyphrases

symbolic model checking
model checking
formal verification
partial observability
conformant planning
symbolic representation
binary decision diagrams
temporal logic
model checker
machine learning
knowledge base
bayesian networks