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.
Students will be required to pass both the coursework and the final examination to pass the course.
Our 7 faculties and 12 professional schools offer more than 200 programmes to some 18,000 graduate, undergraduate and continuing studies students.
The UWI, Mona ranks first in Jamaica among accredited tertiary-level programmes. In 2012, the University was again one of Jamaica’s Top 100 Employers.
