CSSE 373 – Formal Methods in Specification and Design

Welcome

This is the web-based front-end to the (majority) of the CSSE 373 course materials. The official front page for the course is the course page on ANGEL. However, many of the materials are available without all the ANGEL hassle. These include:

• the Syllabus,
• Quick view of Schedule (the complete schedule is available on Angel (including links to homework and project assignments and daily quizzes),
• the Lecture Slides (on Angel),
• Solutions to quizzes, homework, etc. (some solutions are only visible from on campus or the VPN) (on Angel)
• Sample Exams from past offerings of the course, and
• some Miscellaneous Resources.

Some materials for this course were developed with the support of the National Science Foundation under grant CCF-0707701.