Lobsters
- Use of Formal Methods at Amazon Web Services http://blog.acolyer.org/2014/11/24/use-of-formal-methods-at-amazon-web-services/ 3 comments compsci , distributed
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
- Teaching rigorous distributed systems with efficient model checking | the morning paper https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/ 12 comments
- A Year in Papers | the morning paper http://blog.acolyer.org/2015/12/14/a-year-in-papers/ 2 comments
- IronFleet: Proving Practical Distributed Systems Correct | the morning paper http://blog.acolyer.org/2015/10/15/ironfleet-proving-practical-distributed-systems-correc/ 0 comments
- ZooKeeper’s Atomic Broadcast Protocol: Theory and Practice | the morning paper http://blog.acolyer.org/2015/03/10/zookeepers-atomic-broadcast-protocol-theory-and-practice/ 0 comments
- Growing a protocol | the morning paper https://blog.acolyer.org/2017/08/23/growing-a-protocol/ 0 comments
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:blog.acolyer.org
Search title: Use of Formal Methods at Amazon Web Services | the morning paper
See how to search.