Skip to Main content Skip to Navigation
Master Thesis

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.
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://dumas.ccsd.cnrs.fr/dumas-00530744
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy <>
Submitted on : Friday, October 29, 2010 - 5:37:13 PM
Last modification on : Tuesday, June 15, 2021 - 4:26:39 PM
Long-term archiving on: : Friday, October 26, 2012 - 12:45:16 PM

Identifiers

  • HAL Id : dumas-00530744, version 1

Citation

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

Share

Metrics

Record views

244

Files downloads

223