[Sujet de thèse 2021] Techniques de preuves par récurrence bien fondée pour construire et valider des preuves cycliques

Mots clés : méthodes formelles, récurrence bien fondée, preuves cycliques, Coq

 

Voir les détails au https://drive.google.com/file/d/1Ul6JRNsZ4Zq504gT5mUaYazTVzyfzeYP/view?usp=sharing

Logo d'Inria