Distributed protocol underpinning cloud computing automatically determined safe and secure

In an important step toward ensuring the protocols that dictate how our networked services operate are safe, secure and running as expected, University of Michigan researchers have automated a technique called formal verification.