Sites Inria

Il y a 1 Résultats avec le mot clé : "Interactive Proofs"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

10/09/2018

A number of tools have been developed for carrying out separation-logic proofs mechanically using an interactive proof assistant.

Lieu : Inria de Paris, 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Jacques-Louis Lions 1, bâtiment C

Intervenant(s) : Robbert Krebbers (Delft University of Technology)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Haut de page

Suivez Inria