Deductive Verification of Real-Time Systems Using STeP.

Nikolaj Bjørner Zohar Manna Henny Sipma Tomás E. Uribe

Published in: ARTS (1997)

Keyphrases

real time systems
real time
embedded systems
real time database systems
distributed systems
model checking
real time embedded
mission critical
object oriented programming language
object oriented
computational intelligence
anytime algorithms
timing constraints
computer science
embedded real time systems