Symbolic Model Checking of Real-Time Systems.

George Logothetis Klaus Schneider

Published in: TIME (2001)

Keyphrases

real time systems
symbolic model checking
model checking
partial observability
formal verification
real time
conformant planning
distributed systems
symbolic representation
embedded systems
temporal logic
binary decision diagrams
model checker
artificial intelligence
data structure
formal methods