Velisarios
A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
27 stars
3 watching
5 forks
Language: Coq
last commit: about 5 years ago A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems