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

CSI 5140 (COMP 5900) Software Foundations
Fall 2016

(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.

Course Outline

Prerequisites

Professor

Office Hours

Lectures

Online Textbook

Other Resources

Evaluation

Accounts and Software

Assignments

Exams

Course Outline