Commoditizing Verification

First Page		Document Content
Date: 2013-10-15 23:23:06 Formal methods Logic in computer science Systems engineering Theoretical computer science Formal verification ESC/Java Verification Satisfiability modulo theories		Commoditizing Verification Add to Reading List Source URL: homes.cs.washington.edu Download Document from Source Website File Size: 1,03 MB Share Document on Facebook