Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs.

George Logothetis, Klaus Schneider, C. Metzler

Browse the full RTSS paper archive.