l'ÉITIRechercheNouvelles HREF=RépertoiresRessourcesGénie/EngineeringUd'O/UofOSITESearchNewsDirectoriesResourcesSITE

CSI 5137 (COMP 5900) Software Foundations
Fall 2018

(3 hours of class per week, 3 credits, categories E,T)
Mathematical underpinnings of reliable software. Topics include basic concepts of logic, computer-assisted theorem proving and the Coq proof assistant, functional programming, operational semantics, Hoare logic, and static type systems.

Prerequisites

Professor

Lectures

Online Textbook

Other Resources

Evaluation

Software

Assignments

Course Outline