Differences

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

--- calendar [2019/04/01 14:35] – franck
+++ calendar [2019/04/12 13:49] (current) – franck
@@ Line 240: / Line 240: @@
 //Title:// CTL model checking\\
 //Reading material:// pages 341-351 of the textbook\\
-//Slides:// {{:lecture21.pdf|lecture21.pdf}} (to be updated soon)
+//Slides:// {{:lecture21.pdf|lecture21.pdf}}
 ===== April 3 =====
 //Title:// Symbolic model checking\\
-//Reading material:// \\
+//Reading material:// [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1145/1390630.1390635|Combining unit-level symbolic execution and system-level concrete execution for testing NASA software]]\\
-//Slides://
+//Slides:// {{:lecture22.pdf|lecture22.pdf}}
+===== April 8 =====
+//Office hours:// 14:00-16:00
+===== April 9 =====
+//Office hours:// 10:00-12:00
 ===== April 10 =====
-Final exam: 14:00-17:00
+[[final|Final exam]], {{:final.pdf|a solution}}: 14:00-17:00 in LAS 1004.
+===== April 22 =====
+[[project6|Project]]
 <html>