Reviews
A framework for formally verifying distributed systems implementations in Coq
Search similar apps
License
BSD 2-Clause "Simplified" License
A framework for formally verifying distributed systems implementations in Coq
BSD 2-Clause "Simplified" License