Role of Formal Specification and Analysis Techniques in the Software Development Cycle; Software Reliability Engineering Concepts and Practices; Software Reliability Models; Introduction to Mathematical Models and Specification Languages (Alloy, Z, VDM); Pre and Post Conditions, Invariants; Formal Approaches to Software Modeling and Analysis (Model Checkers, Model Finders); Tools in Support of Formal Methods.
COMP2201 - Discrete Mathematics for Computer Science.