Hacker News
Linking pages
- GitHub - uwplse/verdi: A framework for formally verifying distributed systems implementations in Coq https://github.com/uwplse/verdi 1 comment
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments
- GitHub - theanalyst/awesome-distributed-systems: A curated list to learn about distributed systems https://github.com/theanalyst/awesome-distributed-systems 0 comments
- Qix/ds.md at master · ty4z2008/Qix · GitHub https://github.com/ty4z2008/Qix/blob/master/ds.md 0 comments
Related searches:
Search whole site: site:verdi.uwplse.org
Search title: Verdi: Formally Verifying Distributed Systems
See how to search.