Hacker News
- Use of Formal Methods at Amazon Web Services (2014) [pdf] http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf 5 comments
- Use of Formal Methods at Amazon Web Services (2013) [pdf] http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf 13 comments
- Let's talk about model checking http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf 5 comments compsci
Linking pages
- 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
- The HACMS program: using formal methods to eliminate exploitable bugs - PMC https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5597724/ 0 comments
- On Tokens and Crowdsales: 4 Challenges and How to Tackle Them | by Demian Brener | Zeppelin Blog | Medium https://medium.com/zeppelin-blog/on-tokens-and-crowdsales-4-challenges-and-how-to-tackle-them-16be887adf5f#.bre4spb9h 0 comments
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:research.microsoft.com
Search title: Use of Formal Methods at Amazon Web Services (2014) [pdf]
See how to search.