Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems.

George Logothetis Klaus Schneider C. Metzler

Published in: FDL (2003)

Keyphrases

real time systems
formal verification
low level
high level
model checking
distributed systems
program slicing
real time
database systems