Differences

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

--- calendar [2019/03/29 01:51] – franck
+++ calendar [2019/04/12 13:49] (current) – franck
@@ Line 236: / Line 236: @@
 //Project:// [[project5|Part 5 of project]]
-===== April 10 =====
+===== April 1 =====
-Final exam: 14:00-17:00
+//Title:// CTL model checking\\
+//Reading material:// pages 341-351 of the textbook\\
+//Slides:// {{:lecture21.pdf|lecture21.pdf}}
-<html>
+===== April 3 =====
-<!--
-===== March 15 =====
+//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
-//Title:// Logics\\
+===== April 9 =====
-//Reading material:// pages 252, 255-256, 313-327, 334-340 of the textbook\\
-//Slides:// {{:lecture19.pdf|lecture19.pdf}}\\
-//Recording:// [[recording|here (login with EECS credential to access this material)]]
-===== March 22 =====
+//Office hours:// 10:00-12:00
-//Title:// Concurrency\\
+===== April 10 =====
-//Reading material:// [[https://docs.oracle.com/javase/tutorial/essential/concurrency/|The Java Tutorials: Concurrency]], [[http://www.cse.yorku.ca/~qiyitang/assets/jpf-visual.pdf|JPF Visual]]\\
-//Slides:// {{:lecture20.pdf|lecture20.pdf}}\\
-//Handout:// {{:handout20.pdf|handout20.pdf}}\\
-//Code:// {{:Pot.txt|Pot.java}}, {{:Cook.txt|Cook.java}}, {{:Savage.txt|Savage.java}}, {{:DiningSavages.txt|DiningSavages.java}}\\
-//Recording:// [[recording|here (login with EECS credential to access this material)]]
-//Title:// CTL model checking\\
+[[final|Final exam]], {{:final.pdf|a solution}}: 14:00-17:00 in LAS 1004.
-//Reading material:// pages 341-351 of the textbook\\
-//Slides:// {{:lecture21.pdf|lecture21.pdf}}\\
+===== April 22 =====
+[[project6|Project]]
+<html>
+<!--
+===== March 15 =====
+\\
 //Recording:// [[recording|here (login with EECS credential to access this material)]]