Correct-by-Construction Design of Timed Systems in Event-B

Guillaume Dupont, Jun Sun

Real-time systems require the careful handling of timing aspects in their models. For critical applications, this entails the use of time-aware formal methods. Currently, such form…