Thèmes de recherche
Les activités de recherche de l'équipe Contraintes et Preuves
s'organisent autour des axes suivants:
Validation et vérification de programmes
- Génération automatique de jeux de tests
- Détection automatique de non-conformités d'un programme vis à vis
de sa spécification
- Traitement correct des flottants
Optimisation sous contraintes
- Techniques de résolution valide avec relaxations linéaires
- Intégration valide de la recherche locale
Algorithmes pour des systèmes de contraintes spécifiques
- Contraintes globales pour des sous classes de systèmes de contraintes
- Contraintes avec des variables quantifiées
- Contraintes sur les flottants