Cyber & formal methods publications October 1, 2009 ArticleThe Verified Software Initiative: a Manifesto SRI International October 1, 2009 ↓ View online Share this