31 ms·
Amazon has made use of formal methods during the development of AWS. Relevant paper can be found here: http://cacm.acm.org/magazines/2015/4/184701-how-amazon-we
by Ben-G 10y ago
Amazon has made use of formal methods during the development of AWS. Relevant paper can be found here: http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/abstract http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-s...
- codemac 10y agoFound a much better link :) http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf http://research.microsoft.com/en-us/um/people/lamport/tla/fo...