COMP2600: Formal Methods for Software Engineering - 2011

Past Exam Papers

Warning: The course content varies from year to year and so some papers have questions that are not appropriate for 2011.

• Past exam papers, with solutions to some selected questions, are available here (in fullpage format).
  2011 (now including Z solutions) 2011 (Hoare and WP), 2010,
• Past exam papers are available here (in fullpage format).
  2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003.
• Past exam papers are available here (in 2x2 format).
  2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004. 2003.
• The 2011 mid-semester quiz and solutions
• The 2010 mid-semester quiz and solutions along with a marks distribution.
• A practice mid-semester quiz from 2009 is here