Formal Methods in Software Engineering

Undergraduate

Specification and correctness of software. Topics include algebraic specifications, semantics of programming languages, Hoare/dynamic logic, specification languages, program transformation. Course Format: Lectures, 3 hours per week; lab, 2 hours per week. Prerequisite(s): Three and one-half COSC credits and MATH 1P67 Course Notes: This course may be offered in multiple modes of delivery. The method of delivery will be listed on the academic timetable, in the applicable term.