https://github.com/mit-pdos/cspec

Verifying concurrent code with layers and movers
https://github.com/mit-pdos/cspec

Last synced: 2 months ago
JSON representation

Verifying concurrent code with layers and movers

• Host: GitHub
• URL: https://github.com/mit-pdos/cspec
• Owner: mit-pdos
• License: other
• Created: 2018-05-07T18:35:57.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-02-18T01:30:02.000Z (almost 5 years ago)
• Last Synced: 2024-04-30T09:03:05.058Z (9 months ago)
• Language: Coq
• Size: 2.33 MB
• Stars: 11
• Watchers: 25
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project