→
Seminar

Proving programs : why, when, how ?

→
    from to
    See also:

    Documents and media

    Program

    The computer revolution in science
    Gérard Berry

    -
    Lecture
    Proving programs : why, when and how ?
    École normale supérieure de Lyon
    -

    From specification to realization, testing and proof : formal approaches
    Gérard Berry

    -
    Lecture
    Proving programs : why, when and how ?
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    The Internet of Things, a revolution not to be missed
    Joseph Sifakis

    -
    Seminar
    Proving programs : why, when, how ?
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    General methods : assertions, rewriting, abstract interpretation, logics and proof assistants
    Gérard Berry

    -
    Lecture
    Proving programs : why, when and how ?
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Using formal methods to secure complex systems : an industrial breakthrough
    Dominique Bolignano

    -
    Seminar
    Proving programs : why, when, how ?
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Logics of higher order than programming verified in Coq
    Gérard Berry

    -
    Lecture
    Proving programs : why, when and how ?
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Languages and systems for interactive proof
    Christine Paulin

    -
    Seminar
    Proving programs : why, when, how ?
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Model-checking
    Gérard Berry

    -
    Lecture
    Proving programs : why, when and how ?
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Proving IT security : logic to the rescue
    Véronique Cortier

    -
    Seminar
    Proving programs : why, when, how ?
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Boolean verification and optimization of PLCs and circuits
    Gérard Berry

    -
    Lecture
    Proving programs : why, when and how ?
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    Program specification, construction and verification : the path of scientific thought over forty years
    Jean-Raymond Abrial

    -
    Seminar
    Proving programs : why, when, how ?
    Maurice-Halbwachs Amphitheater, Marcelin-Berthelot Site
    -

    See also

    Lecture related to the seminar: Proving programs : why, when and how ?
    Gérard Berry, chair Algorithms, machines and languages