Login / Signup
Scalable distributed on-the-fly symbolic model checking.
Shoham Ben-David
Orna Grumberg
Tamir Heyman
Assaf Schuster
Published in:
Int. J. Softw. Tools Technol. Transf. (2003)
Keyphrases
</>
scalable distributed
symbolic model checking
model checking
partial observability
formal verification
deterministic domains
conformant planning
symbolic representation
binary decision diagrams
model checker
file system
software engineering
real valued
temporal logic