Skip to Main content Skip to Navigation
New interface


...
tel-02888024v1  Habilitation à diriger des recherches
Elisabetta de Maria. Formal Methods for Systems Biology: Contributions
Bioinformatics [q-bio.QM]. Université Côte d'Azur, 2020
...
pastel-00838322v1  Theses
Chantal Keller. A Matter of Trust: Skeptical Communication Between Coq and External Provers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-00594978v1  Theses
Loïc Fejoz. Développement prouvé de structures de données sans verrou
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2008. Français. ⟨NNT : 2009NAN10022⟩
...
tel-02437532v1  Theses
Armaël Guéneau. Mechanized Verification of the Correctness and Asymptotic Complexity of Programs
Programming Languages [cs.PL]. Université de Paris, 2019. English
...
tel-03107626v2  Habilitation à diriger des recherches
Assia Mahboubi. Machine-checked computer-aided mathematics
Logic in Computer Science [cs.LO]. Université de Nantes (UN), Nantes, FRA., 2021
...
tel-01981380v2  Theses
Jean-Karim Zinzindohoué-Marsaudon. Secure, fast and verified cryptographic applications : a scalable approach
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE052⟩
...
tel-00945775v1  Theses
Maxime Dénès. Étude formelle d'algorithmes efficaces en algèbre linéaire
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4103⟩
...
tel-01089490v1  Habilitation à diriger des recherches
Évelyne Contejean. Facettes de la preuve
Logique en informatique [cs.LO]. Université Paris-Sud, 2014
...
tel-01263165v2  Theses
Jean-René Courtault. Logiques de Ressources Dynamiques : Modèles, Propriétés et Preuves
Logique en informatique [cs.LO]. Université de Lorraine 2015. Français. ⟨NNT : 2015LORR0033⟩
...
tel-00874679v1  Theses
Asma Tafat. Preuves par raffinement de programmes avec pointeurs
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112141⟩
...
tel-00745553v1  Theses
Erik Martin-Dorel. Contributions to the Formal Verification of Arithmetic Algorithms
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0742⟩
...
tel-01445821v1  Habilitation à diriger des recherches
Damien Pous. Automata for relation algebra and formal proofs
Computer Science [cs]. ENS Lyon, 2016
...
pastel-00584350v1  Theses
Santiago Zanella-Béguelin. Formal certification of game-based cryptographic proofs
Computer Science and Game Theory [cs.GT]. École Nationale Supérieure des Mines de Paris, 2010. English. ⟨NNT : 2010ENMP0050⟩