AWS applies formal verification techniques in innovative ways to cloud security and compliance.