Byron Cook. Automated formal reasoning about amazon web services (keynote). In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 9, ACM, 2017. [doi]