Speeding up symbolic model checking by accelerating dynamic variable reordering.

Christoph Meinel Christian Stangier

Published in: ACM Great Lakes Symposium on VLSI (2000)

Keyphrases

symbolic model checking
model checking
dynamic environments
partial observability
formal verification
conformant planning
artificial intelligence
bayesian networks
data structure
mobile robot
binary decision diagrams