verdi-lockserv
DistributedComponents
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
11
Stars
4
Forks
11
Watchers
Coq
Language
bsd-2-clause
License
Growth over time
6 data points · 2021-07-01 → 2023-04-01
Stars
Forks
Watchers
💬
How do you feel about this project?
Ask AI about verdi-lockserv
Question copied to clipboardWhat is the DistributedComponents/verdi-lockserv GitHub project? Description: "An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework". Written in Coq. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
How to clone verdi-lockserv
Clone via HTTPS
git clone https://github.com/DistributedComponents/verdi-lockserv.git
Clone via SSH
[email protected]:DistributedComponents/verdi-lockserv.git
Download ZIP
Download master.zipFound an issue?
Report bugs or request features on the verdi-lockserv issue tracker:
Open GitHub Issues