CS156: The Calculus of Computation, Winter 2010

Decision Procedures with Applications to Verification

Monday, Wednesday at 11:00-12:15 PM, Gates B12

Announcements

Index

Handouts

Date Title
Jan 6 Fact Sheet pdf
Jan 6 Lecture 1 full 2x2
Jan 6 Lecture 2 full 2x2
Jan 6 Lecture 3 full 2x2
Jan 6 Homework 1 pdf
Jan 11 Lecture 4 full 2x2
Jan 11 Lecture 5 full 2x2
Jan 11 Homework 2 pdf soln
Jan 23 Homework 3 pdf
Jan 27 Homework 4 pdf
Feb 3 Homework 5 pdf
Feb 3 Lecture 7 full 2x2
Feb 3 Lecture 9 full 2x2
Feb 3 Lecture 10 full 2x2
Feb 14 Homework 6 pdf
Feb 17 Homework 7 pdf
Feb 24 Lecture 8 full 2x2
Feb 24 Homework 8 pdf server
Feb 24 CS 256 - Introduction full 2x2
Feb 24 CS 256 - Lecture 3 full 2x2
Feb 24 CS 256 - Lecture 5 full 2x2
Mar 3 CS 256 - Selected Lectures full 2x2

Staff

Lecturer
Prof. Zohar Manna
manna@cs.stanford.edu
Office Hours: After Class

TAs
Gary Soedarsono
gary503@stanford.edu
Office Hours: Mon 3:00 - 4:00, Gates B26B, Tue 4:00 - 6:00, Gates B26A

Email: cs156-win0910-staff@lists.stanford.edu

Textbook

The Calculus of Computation: Decision Procedures with Applications to Verification
Aaron Bradley, Zohar Manna
Springer 2007

Grading Policy

Homeworks (40%) (8 in total)

Final exam (60%)

Monday, March 15, 08:30 - 11:30 AM, Gates B12 (Please email us if you have a conflict)
The temporal logic materials for the final are:

Syllabus