Spreading formal methods awareness at AWS by avoiding the words "formal", "verification" and "proof" http://research.microsoft.com/en-us...