Compositional Verification of Real-Time Systems

Edward Y. Chang Zohar Manna Amir Pnueli

Published in: LICS (1994)

Keyphrases

data management
real time systems
real time
embedded systems
distributed systems
model checking
database
timing constraints
information processing
mission critical
real time database systems
real time embedded
low cost
anytime algorithms
relational databases
software systems