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

George Logothetis, Klaus Schneider, C. Metzler

Browse the full FDL paper archive.