Evènement pour le groupe Modélisation et Verification


Date 2015-12-10  11:00-12:00
TitreOptimisation sous-contraintes appliquée à l'analyse statique de programmes 
RésuméDepuis une dizaine d'années, les techniques d'optimisation sous-contraintes (LP, SDP, SOS...) apparaissent en vérification de programmes numériques par analyse statique. Dans ma présentation, je montrerai comment générer des modèles utilisant ces techniques pour prouver automatiquement des propriétés sur des programmes numériques grâce à leur représentation par des systèmes dynamiques à temps discret.  
Lieu076 
OrateurAssalé Adjé 
Emailassale.adje@irit.fr 
UrlIRIT 



Aucun document lié à cet événement.

Retour
Retour à l'index