software . 2018

A Model In Electrum Of The Chord Protocol

Brunel, Julien; Chemouil, David; Tawa, Jeanne;
Open Access
  • Published: 23 Aug 2018
  • Publisher: Zenodo
Abstract
<p>A model in Electrum of the Chord protocol</p>
Subjects
free text keywords: chord protocol, formal specification, model checking, electrum, alloy
Download fromView all 3 versions
Zenodo
Software . 2018
Provider: Datacite
Zenodo
Software . 2018
Provider: Datacite
Zenodo
Software . 2018
Provider: Zenodo
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
software . 2018

A Model In Electrum Of The Chord Protocol

Brunel, Julien; Chemouil, David; Tawa, Jeanne;