EEC 522: Software Systems Modeling

Assignments/Tests in EEC 522 (Spring 2009)

Homework Assignments

• Homework 1: Propositional Logic
  Handout
• Homework 2: Propositional Logic
  
• Homework 3: Predicate Logic
  
• Homework 4: LTL Model Checking
  
• Homework 5: CTL Model Checking
  
• Homework 6: BDDs
  
• Homework 7: Program Verification
  

Exams

• Mid-term Exam: Wednesday, Mar 11, 2009.
• Final Exam: Monday, May 11, 2009.
  

---

Nigamanth Sridhar