45 ms·
Check out https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext https://cacm.acm.org/magazines/2015/4/184701-how-ama
by jeffbarr 5y ago
Check out https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-... ("How Amazon Web Services Uses Formal Methods") and https://d1.awsstatic.com/Security/pdfs/One_Click_Formal_Methods.pdf https://d1.awsstatic.com/Security/pdfs/One_Click_Formal_Meth... ("One-Click
Formal Methods") for more info.