→
Seminar

Program logic : when the machine reasons about its software

→
    from to
    See also:

    Documents and media

    Program

    How to reason about software The birth of program logic
    Xavier Leroy

    -
    Lecture
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    Variables and loops : Hoare logic
    Xavier Leroy

    -
    Lecture
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    Program logic put to the test : twists and turns with Frama-C/WP
    Loïc Correnson

    -
    Seminar
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    Pointers and data structures : separation logic
    Xavier Leroy

    -
    Lecture
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    Auto-active proof of programs in SPARK
    Yannick Moy

    -
    Seminar
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    Parallelism with shared memory : the logic of concurrent separation
    Xavier Leroy

    -
    Lecture
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

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

    -
    Seminar
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    Some extensions of the separation logic
    Xavier Leroy

    -
    Lecture
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    Reasoning about time in separation logic
    François Pottier

    -
    Seminar
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    Weakly coherent shared memory logic
    Xavier Leroy

    -
    Lecture
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    Custom protocols in separation logic : ghost resources and invariants in Iris logic
    Jacques-Henri Jourdan

    -
    Seminar
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    Logics for functional and higher-order languages
    Xavier Leroy

    -
    Lecture
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

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

    -
    Seminar
    Program logic : when the machine reasons about its software
    Guillaume-Budé Amphitheater, Marcelin-Berthelot Site
    -

    See also

    Lecture related to the seminar: Program logic : when the machine reasons about its software
    Xavier Leroy, chair Software Science