→
Séminaire

Prouver les programmes : pourquoi, quand, comment ?

→
    du au
    Voir aussi :

    Documents et médias

    Programme

    La révolution informatique dans les sciences
    Gérard Berry

    -
    Cours
    Prouver les programmes : pourquoi, quand, comment ?
    École normale supérieure de Lyon
    -

    De la spécification à la réalisation, au test et à la preuve : les approches formelles
    Gérard Berry

    -
    Cours
    Prouver les programmes : pourquoi, quand, comment ?
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    L'Internet des objets, une révolution à ne pas manquer
    Joseph Sifakis

    -
    Séminaire
    Prouver les programmes : pourquoi, quand, comment ?
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve
    Gérard Berry

    -
    Cours
    Prouver les programmes : pourquoi, quand, comment ?
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Utilisation des méthodes formelles pour la sécurisation de systèmes complexes : une avancée industrielle
    Dominique Bolignano

    -
    Séminaire
    Prouver les programmes : pourquoi, quand, comment ?
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Des logiques d'ordre supérieur à la programmation vérifiée en Coq
    Gérard Berry

    -
    Cours
    Prouver les programmes : pourquoi, quand, comment ?
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Langages et systèmes pour la preuve interactive
    Christine Paulin

    -
    Séminaire
    Prouver les programmes : pourquoi, quand, comment ?
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    La vérification de modèles (model-checking)
    Gérard Berry

    -
    Cours
    Prouver les programmes : pourquoi, quand, comment ?
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Prouver la sécurité informatique : la logique à la rescousse
    Véronique Cortier

    -
    Séminaire
    Prouver les programmes : pourquoi, quand, comment ?
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Vérification et optimisation booléennes d'automates et circuits
    Gérard Berry

    -
    Cours
    Prouver les programmes : pourquoi, quand, comment ?
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Spécification, construction et vérification de programmes : le parcours d'une pensée scientifique sur une quarantaine d'années
    Jean-Raymond Abrial

    -
    Séminaire
    Prouver les programmes : pourquoi, quand, comment ?
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    -

    Voir aussi

    Cours en relation avec le séminaire : Prouver les programmes : pourquoi, quand, comment ?
    Gérard Berry, chaire Algorithmes, machines et langages