This is an old revision of the document!

W11-CSE3341M - Introduction to Program Verification

Lecture Times

Mon./Wed. 4.00-5.30pm BC-215

Important: Subscribe to: 3311 Forum for the latest announcements. Please ask all questions relating to the course material on the forum (not via email). For all other questions, see me during office hours. Read the course outline regularly.

Office hours: Mon. 5.30-6.15pm & Thu. 1-1.45pm in the SEL (CSE2056).

Course Description

A study of design methods and their use in the correct implementation, maintenance and evolution of software systems. Topics include design, implementation, testing, documentation needs and standards, support tools. Students design and implement components of a software system