Byron Cook: Automated formal reasoning about amazon web services (keynote). SPIN 2017: 9