RT @perrymetzger: Most of the software world (and especially the security world) has not yet absorbed the idea that formal verification is…