Formal proofs for the analysis of real-time systems in Coq

Co-supervisors

• Pascal Fradet (INRIA/LIG)
• Jean-François Monin (Verimag)
• Sophie Quinton (INRIA/LIG)

Date of defense

May 27, 2020

Action Team

Caserm