Course Materials:

• Student Z Projects
• Z Stack Specification
• Z Spec for Fish Game
• Lecture Slides
• Course Policy
• Syllabus

PVS System:

• PVS Homepage
• 
  

Opportunities:

• Problems/Exercises:
  • Ch 2: Propositional Logic
  • Ch 3: Predicate Logic

Talks by Paul Gibson:

• Fair Objects
• An Intro to Formal Methods

Grades:

• Check your grades