https://github.com/ergl/pvc_model

A quickcheck model of the pvc protocol
https://github.com/ergl/pvc_model

Last synced: about 1 month ago
JSON representation

A quickcheck model of the pvc protocol

• Host: GitHub
• URL: https://github.com/ergl/pvc_model
• Owner: ergl
• License: apache-2.0
• Created: 2019-04-26T11:28:35.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-08-06T13:05:12.000Z (over 5 years ago)
• Last Synced: 2023-02-28T12:17:12.719Z (over 1 year ago)
• Language: Erlang
• Homepage:
• Size: 36.1 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project