Verification of Real-Time Systems by Successive Over and Under Approximation.

David L. Dill Howard Wong-Toi

Published in: CAV (1995)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
mission critical
object oriented programming language
model checking
timing constraints
embedded real time systems
data management
anytime algorithms