Vérification à contraintes de programmes avec tableaux - DUMAS - Dépôt Universitaire de Mémoires Après Soutenance Accéder directement au contenu
Mémoires Année : 2010

Vérification à contraintes de programmes avec tableaux

Résumé

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 et versions

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

Identifiants

  • HAL Id : dumas-00530744 , version 1

Citer

Peyiu Li. Vérification à contraintes de programmes avec tableaux. Langage de programmation [cs.PL]. 2010. ⟨dumas-00530744⟩
150 Consultations
121 Téléchargements

Partager

Gmail Facebook X LinkedIn More