Comment Verification? (Score 1) 44
Is there anything on the (automated) verification techniques used at Google? Microsoft has one of the best verification research labs around and they develop a handful of great tools that are freely available. Is there a Google analogue?