Amazonでの形式手法の適用 コメントをどうぞ Amazonで形式手法を適用した事例というのを教えてもらった． http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf