Published July 8, 2019 | Version 1
Software Open

A model in Event-B of the Chord protocol

Creators

  • 1. RIT CNRS UPS, Université de Toulouse
  • 2. ONERA DTIS, Université de Toulouse

Description

Accompanying Event-B models for the article "Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol", accepted at FM 2019.

Files

chord_fm.zip

Files (3.9 MB)

Name Size Download all
md5:4b5761cbdefff1b733a60b55a904cadc
3.9 MB Preview Download