→
Séminaire

Logiques de programmes : quand la machine raisonne sur ses logiciels

→
    du au
    Voir aussi :

    Documents et médias

    Programme

    Comment raisonner sur un logiciel ? La naissance des logiques de programmes
    Xavier Leroy

    -
    Cours
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Variables et boucles : la logique de Hoare
    Xavier Leroy

    -
    Cours
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP
    Loïc Correnson

    -
    Séminaire
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Pointeurs et structures de données : la logique de séparation
    Xavier Leroy

    -
    Cours
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Preuve auto-active de programmes en SPARK
    Yannick Moy

    -
    Séminaire
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Parallélisme à mémoire partagée : la logique de séparation concurrente
    Xavier Leroy

    -
    Cours
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic
    Bart Jacobs

    -
    Séminaire
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Quelques extensions de la logique de séparation
    Xavier Leroy

    -
    Cours
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Raisonner à propos du temps en logique de séparation
    François Pottier

    -
    Séminaire
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Logiques pour la mémoire partagée faiblement cohérente
    Xavier Leroy

    -
    Cours
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris
    Jacques-Henri Jourdan

    -
    Séminaire
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Logiques pour les langages fonctionnels et l'ordre supérieur
    Xavier Leroy

    -
    Cours
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Gillian: a Multi-language Platform for Compositional Symbolic Analysis
    Philippa Gardner

    -
    Séminaire
    Logiques de programmes : quand la machine raisonne sur ses logiciels
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Voir aussi

    Cours en relation avec le séminaire : Logiques de programmes : quand la machine raisonne sur ses logiciels
    Xavier Leroy, chaire Sciences du logiciel