Software Open Access

A model in Event-B of the Chord protocol

Bodeveix, Jean-Paul; Brunel, Julien; Chemouil, David; Filali, Mamoun

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

Files (3.9 MB)
Name Size
chord_fm.zip
md5:4b5761cbdefff1b733a60b55a904cadc
3.9 MB Download
16
1
views
downloads
All versions This version
Views 1616
Downloads 11
Data volume 3.9 MB3.9 MB
Unique views 1111
Unique downloads 11

Share

Cite as