Login / Signup
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