Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

Many critical real-time applications are implemented as time-triggered systems. We present a systematic way to derive such time-triggered implementations from algorithms specified as functional pro...