[PhD Thesis] Well-founded Induction Techniques for Building and Validating Cyclic Proofs

Keywords : formal methods, well-founded induction, cyclic proofs, Coq

 

The details can be found in the pdf file at https://drive.google.com/file/d/1Ul6JRNsZ4Zq504gT5mUaYazTVzyfzeYP/view?usp=sharing

Logo d'Inria