Date Event

Jan. 15th                        posted intro.

Jan 29^th posted Lec02-PreLog, Lec03-Modal

March 11^th posted Lec04-CTLModelCheck

March 20^th posted Lec05-Spec

March 20^th posted Lec06-ProgSynthesis

Student Presentations:

Maulik Horror Story

Linear Temporal Logic

Term Project – Progress Report

SPIN model checker

Steve State Machines

Branching Temporal Logic

Term Project – Progress Report

Prashanthi Horror Story

JML

Recovery Blocks

Satya Concurrent Computations

Term Project – Progress Report

Shawn Dependable Computing Taxonomy

Self-stabilization

Yifei Formal Methods Survey

N-version Programming