Automated Invariant Generation for the Verification of Real-Time Systems.

Bahareh Badban Stefan Leue Jan-Georg Smaus

Published in: WING@ETAPS/IJCAR (2010)

Keyphrases

real time systems
real time
embedded systems
distributed systems
timing constraints
real time embedded
mission critical
embedded real time systems
model checking
real time database systems
database
relational databases
low cost
hierarchical structure
affine transformation