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

Doctorant: 
Xiaojie GUO
co-encadrants: 
Nom: 
Pascal FRADET
Laboratoire de rattachement: 
INRIA/LIG
Nom: 
Jean-Francois MONIN
Laboratoire de rattachement: 
Verimag
Nom: 
Sophie QUINTON
Laboratoire de rattachement: 
INRIA/LIG