A Model In Electrum Of The Chord Protocol

Software OPEN SOURCE
Brunel, Julien; Chemouil, David; Tawa, Jeanne;
(2018)
  • Publisher: Zenodo
  • Related identifiers: doi: 10.5281/zenodo.1322052
  • Subject: chord protocol | formal specification | model checking | electrum | alloy

<p>A model in Electrum of the Chord protocol</p>
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Software, 2018)
  • Cite this software