Scalable Distributed On-the-Fly Symbolic Model Checking.

Shoham Ben-David Tamir Heyman Orna Grumberg Assaf Schuster

Published in: FMCAD (2000)

Keyphrases

scalable distributed
symbolic model checking
model checking
partial observability
formal verification
conformant planning
symbolic representation
deterministic domains
binary decision diagrams
file system
search algorithm
temporal logic
model checker
rough sets