Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 10 Novembre 1998

Linear Programming Validation (LPV): Une nouvelle technique de validation formelle utilisant la programmation linéaire

par Jean-Luc Lambert (GREYC)

Nous présenterons une nouvelle méthode de calcul de preuve de spécifications formelles et de séquences de tests. Cette méthode repose sur l'utilisation exclusive de la théorie et des algorithmes de programmation linéaire. L'utilisation de la programmation linéaire comme modèle de preuve de logiciels conduit à des problèmes théoriques nouveaux dont nous donnerons un aperçu non exhaustif. Ce travail a été réalisé dans le cadre des CTI du CNET et a donné lieu à un dépôt de brevet.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr