Cyber & formal methods publications October 1, 2008 Conference PaperTrust and Automation in Verification Tools SRI International October 1, 2008 ↓ View online Share this