Partager Facebook Twitter Linkedin Copier le lien Séminaire Logiques de programmes : quand la machine raisonne sur ses logiciels
du 11 Mar 2021 → 15 avr 2021 Associé à Xavier Leroy, chaire Sciences du logiciel Documents et médias Télécharger le programme pdf (286 Ko) Programme Séminaire 11 Mar 2021 11:15 - 12:15 Séminaire Loïc Correnson Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Logiques de programmes : quand la machine raisonne sur ses logiciels Séminaire 18 Mar 2021 11:15 - 12:15 Séminaire Yannick Moy Preuve auto-active de programmes en SPARK Logiques de programmes : quand la machine raisonne sur ses logiciels Séminaire 25 Mar 2021 11:15 - 12:15 Séminaire Bart Jacobs VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Logiques de programmes : quand la machine raisonne sur ses logiciels Séminaire 01 avr 2021 11:15 - 12:15 Séminaire François Pottier Raisonner à propos du temps en logique de séparation Logiques de programmes : quand la machine raisonne sur ses logiciels Séminaire 08 avr 2021 11:15 - 12:15 Séminaire Jacques-Henri Jourdan Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Logiques de programmes : quand la machine raisonne sur ses logiciels Séminaire 15 avr 2021 11:15 - 12:15 Séminaire Philippa Gardner Gillian: a Multi-language Platform for Compositional Symbolic Analysis Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire 11 Mar 2021 11:15 - 12:15 Séminaire Loïc Correnson Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire 18 Mar 2021 11:15 - 12:15 Séminaire Yannick Moy Preuve auto-active de programmes en SPARK Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire 25 Mar 2021 11:15 - 12:15 Séminaire Bart Jacobs VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire 01 avr 2021 11:15 - 12:15 Séminaire François Pottier Raisonner à propos du temps en logique de séparation Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire 08 avr 2021 11:15 - 12:15 Séminaire Jacques-Henri Jourdan Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris Logiques de programmes : quand la machine raisonne sur ses logiciels
Séminaire 15 avr 2021 11:15 - 12:15 Séminaire Philippa Gardner Gillian: a Multi-language Platform for Compositional Symbolic Analysis Logiques de programmes : quand la machine raisonne sur ses logiciels