Differences

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

--- syllabus [2020/01/01 22:27] – franck
+++ syllabus [2020/02/05 01:21] (current) – franck
@@ Line 39: / Line 39: @@
   * Christel Baier and Joost-Pieter Katoen.  //Principles of Model Checking.//  The MIT Press.  2008.
 Also the notes
-  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2019.
+  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2020.
 will be used.  Additional reading material will be provided on this course wiki.
@@ Line 47: / Line 47: @@
 Students are evaluated based on
-  * 3 quizzes (10% each)
+  * three quizzes (10% each)
   * a midterm (10%)
   * a final exam (10%)
@@ Line 54: / Line 54: @@
     * draft project proposal (2%)
     * project proposal (3%)
-    * progress report 1 (5%)
+    * first progress report (5%)
-    * progress report 2 (5%)
+    * second progress report (5%)
     * presentation (10%)
     * report (10%)
@@ Line 65: / Line 65: @@
 ====== Project ======
-Very brief descriptions of the last four years' projects can be found [[projects|here]].  A sample of a draft proposal can be found {{draftproposal.pdf|here}}.
+Very brief descriptions of the last four years' projects can be found [[projects|here]].  A sample of a draft proposal can be found {{draft.pdf|here}}.
 ====== Academic Honesty ======