COMP6410
Course Title:
Formal Methods of Software Design
Credits:
4
Associated Programme:
M.Sc. CS
Core Course:
yes
Course Aims:
Formal methods is a generic term for system design, analysis, and implementation methods that are described and used with mathematical rigour. The purpose is to construct, with high confidence, systems that behave according to their specifications.
Course Assessment:
Students will be required to pass both the coursework and the final examination to pass the course.
