→
Séminaire

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

→
    du au
    Voir aussi :

    Programme

    L'importance des langages en informatique
    Gérard Berry

    -
    Cours
    Structures de données et algorithmes pour la vérification formelle
    INRIA Rennes
    -

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

    -
    Séminaire
    Structures de données et algorithmes pour la vérification formelle
    INRIA Rennes
    -

    Les BDDs (Binary Decision Diagrams) et leurs applications
    Gérard Berry

    -
    Cours
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Application des BDDs dans la conception de circuits intégrés
    Jean-Christophe Madre et Patrick Vuillod

    -
    Séminaire
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    SAT : la satisfaction booléenne
    Gérard Berry

    -
    Cours
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    SAT : des victoires contre les problèmes difficiles
    Laurent Simon

    -
    Séminaire
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    SMT : la satisfaction modulo théories
    Gérard Berry

    -
    Cours
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    SMT en pratique : le démonstrateur Alt-Ergo
    Sylvain Conchon

    -
    Séminaire
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    La vérification formelle de programmes temporisés
    Gérard Berry

    -
    Cours
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Real-Time Model Checking of Embedded Systems
    Kim Larsen

    -
    Séminaire
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    La vérification par énumération explicite
    Gérard Berry

    -
    Cours
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    La vérification formelle appliquée aux protocoles cryptographiques
    Stéphanie Delaune

    -
    Séminaire
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

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

    -
    Séminaire
    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

    -
    Cours
    Structures de données et algorithmes pour la vérification formelle
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    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