Structures de données et algorithmes pour la vérification formelle

Programme

Cours

16:00 - 17:30

L'importance des langages en informatique

Gérard Berry

04 nov 2015

Structures de données et algorithmes pour la vérification formelle

Intégration de la vérification formelle dans les langages de programmation (INRIA de Rennes)

Thomas Jensen

04 nov 2015

Structures de données et algorithmes pour la vérification formelle

Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives

Chantal Keller

13 avr 2016

Structures de données et algorithmes pour la vérification formelle

Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot

Conclusion et réponse aux questions de l'année

Gérard Berry

13 avr 2016

Structures de données et algorithmes pour la vérification formelle

Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot

13 avr 2016

17:00 - 18:30

Voir aussi

Cours en relation avec le séminaire : Structures de données et algorithmes pour la vérification formelle

Gérard Berry, chaire Algorithmes, machines et langages

Structures de données et algorithmes pour la vérification formelle

Programme

L'importance des langages en informatique

Intégration de la vérification formelle dans les langages de programmation (INRIA de Rennes)

Les BDDs (Binary Decision Diagrams) et leurs applications

Application des BDDs dans la conception de circuits intégrés

SAT : la satisfaction booléenne

SAT : des victoires contre les problèmes difficiles

SMT : la satisfaction modulo théories

SMT en pratique : le démonstrateur Alt-Ergo

La vérification formelle de programmes temporisés

Real-Time Model Checking of Embedded Systems

La vérification par énumération explicite

La vérification formelle appliquée aux protocoles cryptographiques

Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives

Conclusion et réponse aux questions de l'année

Voir aussi