Nov 18, 2024  
2024-2025 Undergraduate Calendar (Draft) 
    
Catalog Navigation
  Calendar Home
  Programs
  Courses
  How to use this Calendar
  Disclaimer
  Academic Regulations and University Policies
  Code of Conduct
  Undergraduate Sessional Dates
  Student Financial Information
  Course Anatomy and Glossary of Terms
  University Structure
  My Portfolio
HELP
2024-2025 Undergraduate Calendar (Draft)
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

COSC 4P42 - Formal Methods in Software Engineering

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.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)