* Lecture 1: Model Checking Edmund Clarke School of Computer Science Carnegie Mellon University * Cost of Software Errors June 2002 “Software bugs, or errors, are so prevalent…
