Approximate Symbolic Model Checking for Incomplete Designs.

Tobias Nopper Christoph Scholl

Published in: FMCAD (2004)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
symbolic representation
binary decision diagrams
model checker
learning algorithm
bayesian networks
temporal logic
data mining
formal specification