Anoemuah, Rosemary Aruorezi
Learning Objectives: By the end of this course, Students should be conversant with the primary current approaches to formal methods and their use in software development. Students should be familiar with the examples typically used in research papers (e.g., gas station, elevator, cruise control, alarm clock). Students should also be aware of the major open problems in the use of formal methods in software engineering and software architectures, such that research within this domain would be a natural follow-on to this course.
CSC312 - Formal Methods And Software
Anoemuah Rosemary Aruorezi
Natural and Applied Sciences