Differences

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

--- calendar [2019/04/02 16:55] – franck
+++ calendar [2019/04/12 13:49] (current) – franck
@@ Line 245: / Line 245: @@
 //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:// {{:lecture22.pdf|lecture22.pdf}}
+===== April 8 =====
+//Office hours:// 14:00-16:00
+===== April 9 =====
+//Office hours:// 10:00-12:00
 ===== April 10 =====
-[[final|Final exam]]: 14:00-17:00 in LAS 1004.
+[[final|Final exam]], {{:final.pdf|a solution}}: 14:00-17:00 in LAS 1004.
 ===== April 22 =====