ISyE 8803D Formal Methods in Operations Engineering Instructor Spyros Reveliotis Spring 2007 Course Objectives Familiarize the student with a set of formal frameworks that…