Formal methods are used to precisely specify and reason about various aspects of
software systems. They find a variety of uses at different stages in the software lifecycle,
e.g., during conceptual analysis and specification, design, and verification.
At the end of this course, you should be able to:
|Instructor:||Dr. Laura Dillon|
|Office Hours:||3132 EB, Mon & Wed noon-1:30 p.m., and by appt.|