• Instructor: Dr. S. Tahar
• Lectures: Tuesdays & Thursdays 13:15-16:00 in H-400
• Office Hours: Thursdays 12:00-13:00
• Course Outline

• Important Dates (Calendar)

• On-line Course Material

• Literature References

• Test 1: Thu. May 17, 2012 in H-400 at 13:15

• Test 2: Tue. June 12, 2012 in H-400 at 13:15

• Project
  • Groups
  • Reports: Mon. June 4, 2012 in EV005.139 by 17:00
  • Presentations: Thu. June 7, 2012 in H-400 at 13:15
  • Grading Scheme
  • Peer Evaluation Form
  • Confirmation of Originality (Form 31)
  • Note on Plagiarism

• WWW Pointers
  • Formal Verification References: Formal Methods Library
  • Related Formal Verification Courses: Formal Methods Education    
  • Formal Verification Tools: Formality     Conformal     VIS     MDG     HOL     SMV     PVS     ACL2    

• -> Comments
  

You are visitor #
Last Modified on