CS6133 Software Specification and Verification

Fall 2011

Course Syllabus

Announcements

• Assignment I and II descriptions have been posted.

Assignments, Projects, and Presentations

• Course Project
• List of papers for presentation I
• List of papers for presentation II (updated)
• Assignment 1 Description
• Assignment II Description

Lecture Notes

• Lecture 01 Introduction and Administration
• Lecture 02 Propositional Logic
• Lecture 03 Temporal Logic
• Lecture 04 Finite State Machines
• Lecture 05 Model Checking
• Lecture 06 Template Semantics
• Lecture 07 Symbolic Model Checking
• Lecture 08 BDD-Based Model Checking

Additional Materials