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.
Prerequisite
SW3460 or consent of instructor
Lecture Hours
3
Lab Hours
1