Accéder directement au contenu

David Chemouil

Directeur de recherches ONERA DTIS
1
Documents
Site web
  • http://www.onera.fr/staff/david-chemouil

Domaines de recherche

Logique en informatique [cs.LO] Génie logiciel [cs.SE]

Publications

jean-paul-bodeveix
42533
Image document

Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol

Jean-Paul Bodeveix , Julien Brunel , David Chemouil , M Filali
23rd International Symposium on Formal Methods (FM 2019), FME: Formal Methods Europe, Oct 2019, Porto, Portugal. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩
Communication dans un congrès hal-02332531v1