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

CSI 5110 (COMP 5707) Principles of Formal Software Development
Fall 2016

(3 hours of class per week, 3 credits, category T)
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification, mobile code safety, and protocol verification.

Course Outline

Prerequisites

Professor

Office Hours

Lectures

Textbook

Evaluation

Accounts and Software

Assignments

Exams

Course Outline