Précédent : Preuves de circuit Remonter : Actions de recherche Suivant : Récursion bien fondée
Précédent : Preuves de circuit Remonter : Actions de
recherche Suivant : Récursion bien fondée
Nous travaillons à comprendre comment un système de traitement de preuve peut être utilisé en génie logiciel pour développer des programmes certifiés. Notre travail porte sur le développement de méthodologies et d'outils permettant d'obtenir des programmes efficaces et de dégager des principes de preuves systématiques.