Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems.

Zhe Dang Richard A. Kemmerer

Published in: ICSE (2000)

Keyphrases

real time systems
symbolic model checking
model checking
partial observability
real time
formal verification
binary decision diagrams
embedded systems
distributed systems
conformant planning
symbolic representation
temporal logic
low cost
heuristic search
boolean functions
model checker