Compositional Verification of Real-Time Systems using Extended Hoare Triples.

Published in: REX Workshop (1991)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
model checking
timing constraints
real time embedded
embedded real time systems
linked data
architectural model
object oriented programming language
artificial intelligence
case study
database systems
cooperative