<html>
<head>
<title>Relation to Specification and Verification II</title>
</head>

<body>

<h3>Specification and Verification II</h3>

This course is a modified subset of the discontinued Part II course <a
href="http://www.cl.cam.ac.uk/~mjcg/Lectures/SpecVer2/SpecVer2.html">Specification
and Verification II</a>. The main change is that temporal logic is not
presented here as a subset of higher order logic as it was in the
earlier course. The new course also contains additional material on
model checking.

<p>

The past exam questions for <a
href="http://www.cl.cam.ac.uk/~mjcg/Lectures/SpecVer2/SpecVer2.html">Specification
and Verification II</a> that are listed below are relevant to the
current course, but note that some notations in the earlier course and
the current one differ.

<ul>
<a href="http://www.cl.cam.ac.uk/teaching/exams/pastpapers/y1998p7q11.pdf">y1998p7q11</a><br>
<a href="http://www.cl.cam.ac.uk/teaching/exams/pastpapers/y1999p8q13.pdf">y1999p8q13</a><br>
<a href="http://www.cl.cam.ac.uk/teaching/exams/pastpapers/y2000p8q13.pdf">y2000p8q13</a><br>
<a href="http://www.cl.cam.ac.uk/teaching/exams/pastpapers/y2002p7q2.pdf">y2002p7q2</a><br>
<a href="http://www.cl.cam.ac.uk/teaching/exams/pastpapers/y2003p7q7.pdf">y2003p7q7</a><br>
<a href="http://www.cl.cam.ac.uk/teaching/exams/pastpapers/y2005p7q7.pdf">y2005p7q7</a><br>
<a href="http://www.cl.cam.ac.uk/teaching/exams/pastpapers/y2006p7q7.pdf">y2006p7q7</a><br>
<a href="http://www.cl.cam.ac.uk/teaching/exams/pastpapers/y2007p9q8.pdf">y2007p9q8</a><br>
<a href="http://www.cl.cam.ac.uk/teaching/exams/pastpapers/y2009p7q15.pdf">y2009p7q15</a>
</ul>

</body>

</html>