Cyber & formal methods publications October 1, 2009 ArticleAutomated Deduction for Verification SRI International October 1, 2009 ↓ View online Share this