Differences

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

--- calendar [2019/03/30 01:20] – franck
+++ calendar [2019/04/12 13:49] (current) – franck
@@ Line 235: / Line 235: @@
 //Project:// [[project5|Part 5 of project]]
+===== April 1 =====
+//Title:// CTL model checking\\
+//Reading material:// pages 341-351 of the textbook\\
+//Slides:// {{:lecture21.pdf|lecture21.pdf}}
+===== April 3 =====
+//Title:// Symbolic model checking\\
+//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:// {{: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>