Alloy Model Of The Websocket Protocol

Software OPEN SOURCE
Daniel Andrade;
(2017)

<p>This is a complete release of the Alloy model of the WebSocket Protocol, and all modules work together without issues in the current version of the Alloy Analyzer, which is at 4.2.</p>
Share - Bookmark

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