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.
Loading...