#	Date	Prepare	Exercises & Quizzes	Topics	Lab topic
1	M 1/6	-	-	Surviving Formal Methods	CS656/556 web site
2	W 1/8	1.1+handouts	Ex1.1	PC	MATHS
3	M 1/13	1.2+handouts	Ex1.2 -1.6	Proofs	MATHS
4	W 1/15	1.3+handouts	Ex1.7	Syntax	XBNF
-	M 1/20	CSUSB	HOLIDAY	-	-
5	W 1/22	1.4+handouts	Ex1.8-1.11	Semantics	C++ bool
6	M 1/27	1.5+handouts	Ex1.12-1.15	Normal Forms	cassert
-	M 1/27	LAST DAY	TO DROP	-	-
7	W 1/29	6.1+handouts	Ex6.1-6.4	OBDDs	OBDDs
8	M  2/3	6.2+handouts	Ex6.6-6.10	OBDDs	OBDDs
9	W 2/5	2.1,2.2,2.3+handouts	Ex2.1-2.5	LPC	Prolog
10	M 2/10	2.4,2.5+handouts	Ex2.5-2.8	LPC	Prolog
11	W 2/12	Review above	Midterm on Logic	-	Semantic Tableaux
12	M 2/17	3.1, 3.2+handouts	Ex3.1-3.2	Model Checking	State Machines?
13	W 2/19	3.3, 3.4+handouts	Ex3.3-3.4	CTL	CTL on the WWW
14	M 2/24	3.5, 3.6+handouts	Ex3.7-3.9	SAT & SMV	Using SMV
15	W 2/26	6.3 not 6.3.4+handouts	Ex 6.11-6.12	OBDDs in model checking	Using SMV
16	M 3/3	4.1, 4.2+handouts	Ex4.1-4.2	Verification Framework	SMV Source code
17	W 3/5	4.3, 4.4+handouts	Ex4.3-4.8	Partial Correctness	Verification
18	M 3/10	4.4+handouts	Ex4.9	Total Correctness	Verification?
19	W 3/12		Presentations	Hot Topics	Hot Topics?
20	M 3/17		Presentations	Hot Topics	Hot Topics?
Final	F 3/21	Chs 1,2,3,4,6, etc		Comprehensive	
9am	T 3/25	Grades WWW	* draft grade posted earlier.