Facettes de la preuve

Évelyne Contejean (1, 2)

1 LRI - Laboratoire de Recherche en Informatique
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations

Ce document présente les recherches que j'ai effectuées ces dernières années dans le domaine des preuves automatqiues et/ou assistées par ordinateurs, ainsi que les liens entre ces deux approches.

Mots clés: automated deduction

Mots clés: démonstration automatique; preuves formelles; récriture; SMT; formalisation des bases de données

Domaines: Logique en informatique [cs.LO]

Évelyne Contejean. Facettes de la preuve : Jeux de reflets entre démonstration automatique et preuve assistée. Logique en informatique [cs.LO]. Université Paris-Sud, 2014. ⟨tel-01089490⟩