Vérification à contraintes de programmes avec tableaux - DUMAS - Dépôt Universitaire de Mémoires Après Soutenance
Master Thesis Year : 2010

Vérification à contraintes de programmes avec tableaux

Abstract

Ce stage de master de recherche a été effectué dans l'équipe Celtique du centre de recherche IRISA/INRIA Rennes pendant cinq mois (01/02/10- 30/06/10). Dans ce stage, on s'intéresse à la vérification à contraintes de programmes avec tableaux. En combinant les points forts de deux méthodes existantes : la programmation par contraintes et le SAT/SMT, on crée un nouveau solveur qui teste la satisfiabilité des formules et qui renvoie un certificat pour les formules non satisfiables.
Fichier principal
Vignette du fichier
Li_Peiyu.pdf (606.7 Ko) Télécharger le fichier
Loading...

Dates and versions

dumas-00530744 , version 1 (29-10-2010)

Identifiers

  • HAL Id : dumas-00530744 , version 1

Cite

Peyiu Li. Vérification à contraintes de programmes avec tableaux. Langage de programmation [cs.PL]. 2010. ⟨dumas-00530744⟩
161 View
132 Download

Share

More