SW4500 Introduction to Formal Methods in Software Engineering

This course covers formal methods for specification and analysis of software systems. The course introduces application of mathematical logic to software design, program verification, and formal specification languages. The laboratory sessions will cover special topics and case studies.


SW3460 or consent of instructor

Lecture Hours


Lab Hours


Quarter Offered

  • Winter
  • Summer