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 12 Mars 2019 à 14:00

Maximisation d'entropie et échantillonnage de Shannon-Parry. Application à la vérification de systèmes par Monte-Carlo

par Philippe Regnault (LMR, Université de Reims)

La vérification automatique de systèmes, ou « model checking», est un domaine de l’automatique proposant un certain nombre de techniques pour s’assurer du bon fonctionnement de systèmes automatisés. Le model checking par Monte-Carlo s’inscrit dans cette thématique; il s’agit d’une méthode basée sur la simulation aléatoire d’exécutions du système étudié, visant à explorer en profondeur mais de façon non-exhaustive les différentes routines du système, permettant de s’assurer assez rapidement que le système fonctionne correctement avec probabilité grande.

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