Linking pages
- An empirical study on the correctness of formally verified distributed systems | the morning paper https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/ 17 comments
- A Year in Papers | the morning paper http://blog.acolyer.org/2015/12/14/a-year-in-papers/ 2 comments
- GitHub - heidihoward/distributed-consensus-reading-list: A list of papers about distributed consensus. https://github.com/heidi-ann/distributed-consensus-reading-list 0 comments
Linked pages
- Dafny: A Language and Program Verifier for Functional Correctness - Microsoft Research http://research.microsoft.com/en-us/projects/dafny/ 14 comments
- Fuzzing Raft for Fun and Publication - Rest for the Wicked http://colin-scott.github.io/blog/2015/10/07/fuzzing-raft-for-fun-and-profit 10 comments
- Use of Formal Methods at Amazon Web Services | the morning paper http://blog.acolyer.org/2014/11/24/use-of-formal-methods-at-amazon-web-services/ 3 comments
- In Search of an Understandable Consensus Algorithm | the morning paper https://blog.acolyer.org/2015/03/12/in-search-of-an-understandable-consensus-algorithm/ 0 comments
Related searches:
Search whole site: site:blog.acolyer.org
Search title: IronFleet: Proving Practical Distributed Systems Correct | the morning paper
See how to search.