(3 units). 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 and secure computation. This course is equivalent to COMP 5707 at Carleton University. Course Component: Lecture
(3 units). 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 and secure computation. This course is equivalent to COMP 5707 at Carleton University. Course Component: Lecture
