Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata.

Published in: COMPSAC (2003)

Keyphrases

real time
model checking
hybrid automata
formal methods
formal verification
software systems
real time systems
computer systems
software maintenance
face verification
software development
signature verification
hardware designs
object oriented
safety critical
dedicated hardware
step wise
control system