CSE 814: Formal Methods in Software Development

Course Information: NEWS!!!  New Presentation Schedule(11/25) Alloy assigment(11/15) GIL slides (10/30) FORMAL METHODS EUROPE (FME02) (9/28) Syllabus  Weekly Schedule	General Resources:   Elements of Style  Bugs in Writing	FM Resources:  Formal Methods Archive  Concurrency Workbench SPIN Alloy B  EVES SMV Verisoft
Project:  Project proposal Example class project from 1997	Papers:  Designing Executable Abstractions (ps, ps.gz) An Introduction to LOTOS ( ps, ps.gz) The Model Checker SPIN ps, ps.gz) Model Checking Tour	Instructor  Laurie Dillon Office hours: TR 2-3:00 p.m. Office: 3132 EB Phone: 353-4387 Email: ldillon@cse.msu.edu Fall schedule

Weekly Schedule of Assignments

Readings are listing on the day on which they are assigned. Unless otherwise noted, they should be read by the next class period. Homeworks are listed on the day that they are assigned. Due dates are indicated on the writeups. Overheads are listing on the day on which I expect to start covering them. Class exercises are listed on the day on which I plan for us to do them in class.

Week 1: Day 1: OV, HW, RD Day 2: CE, HW, Myths Handout August 2001 S M Tu W Th F S 26 27 28 29 30 31 September 2001 S M Tu W Th F S 1	Week 2 Day 1: postponed OV from 8/30 Day 2: CE, RD September 2001 S M Tu W Th F S 2 3 4 5 6 7 8	Week 3 Day 1: RD, OV Day 2: RD OV September 2001 S M Tu W Th F S 9 10 11 12 13 14 15
Week 4 Day 1: Class cancelled. Day 2: HW, RD, OV September 2001 S M Tu W Th F S 16 17 18 19 20 21 22	Week 5 Day 1: Catch up, RD Day 2: OV, RD September 2001 S M Tu W Th F S 23 24 25 26 27 28 29	Week 6 Day 1: OV, RD Day 2: OV, CE September 2001 S M Tu W Th F S 30 October 2001 S M Tu W Th F S 1 2 3 4 5 6
Week 7 Day 1: OV, RD Day 2: Meet in 3112 EB OV, HW October 2001 S M Tu W Th F S 7 8 9 10 11 12 13	Week 8 Day 1: OV, CE Day 2: RD October 2001 S M Tu W Th F S 14 15 16 17 18 19 20	Week 9 Day 1: OV, RD, RD (optional) Day 2: OV October 2001 S M Tu W Th F S 21 22 23 24 25 26 27
Week 10 Day 1: OV, RD, RD Day 2: Meet in 3105 Project proposal, OV, examples October 2001 S M Tu W Th F S 28 29 30 31 November 2001 S M Tu W Th F S 1 2 3	Week 11 Day 1: OV, CE Day 2: OV November 2001 S M Tu W Th F S 4 5 6 7 8 9 10	Week 12 Day 1: Attend Grad Seminar 12 noon, 2150 EB Day 2: OV, HW November 2001 S M Tu W Th F S 11 12 13 14 15 16 17
Week 13 Day 1: Project presentations: Chad, Ali, Fatima Day 2: No class - Thanksgiving holiday. November 2001 S M Tu W Th F S 18 19 20 21 22 23 24	Week 14 Day 1: Project presentations: Chetan, Zhinan, Kang & Shang 10:20 - 11:40 a.m. in 3105 EB Day 2: Project presentations: Zhenxiao, Wei, Simon & Min, Xing 10:00 - noon in 3105 EB November 2001 S M Tu W Th F S 25 26 27 28 29 30 December 2001 S M Tu W Th F S 1	Week 15 Day 1: Project presentations: Anjani, Grant, Kyle & Jesse, Karun 10:00 - 12 noon in 3105 EB Day 2: Project presentations: Eric, Feng, Rajat & Prakarn, Bru 10:00 - 12 noon in 3105 EB December 2001 S M Tu W Th F S 2 3 4 5 6 7 8