CIS 842 Weekly Objectives

• Week 1: Overview and Introduction to Spin
  • Have some intuition about the role that model-checking can play in the development of concurrent/reactive systems.
• (To be continued)