CSEP590 – Model Checking and Software Verification University of Washington Department of Computer Science and Engineering Summer 2003.