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.