Coverage Estimation for Symbolic Model Checking.

Yatin Vasant Hoskote Timothy Kam Pei-Hsin Ho Xudong Zhao

Published in: DAC (1999)

Keyphrases

symbolic model checking
model checking
formal verification
partial observability
conformant planning
orders of magnitude
symbolic representation
binary decision diagrams
deterministic domains
dynamic programming
utility function
model checker