Differences

This shows you the differences between two versions of the page.

--- calendar [2017/03/31 02:02] – franck
+++ calendar [2017/04/05 01:42] (current) – franck
@@ Line 220: / Line 220: @@
 //Title:// Model Checking versus Theorem Proving\\
-//Reading material:// [[http://www.cs.cornell.edu/Info/People/halpern/papers/manifesto.pdf|Model Checking vs. Theorem Proving: A Manifesto]]\\
+//Slides:// {{:public:lecture24.pdf|lecture24.pdf}}\\
-//Slides:// \\
-//Code://
 //Quiz:// [[quiz6|Quiz 6]]