Differences

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

--- calendar [2019/03/25 19:06] – franck
+++ calendar [2019/04/12 13:49] (current) – franck
@@ Line 222: / Line 222: @@
 //Handout:// {{:handout19.pdf|handout19.pdf}}
+===== March 27 =====
+//Title:// Temporal Logics\\
+//Reading material:// pages 313-327 and 334-340 of the textbook\\
+//Slides:// {{:lecture20.pdf|lecture20.pdf}}\\
+//Handout:// {{:handout20.pdf|handout20.pdf}}
 ===== March 29 =====
-//Lab:// work on your project
+//Lab:// work on your project\\
+//Slides:// {{:lab12.pdf|lab12.pdf}}
 //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>
@@ Line 239: / Line 270: @@
 ===== March 15 =====
-//Title:// Linear Temporal Logic\\
-//Reading material:// pages 229-236 of the textbook\\
-//Slides:// {{:lecture18.pdf|lecture18.pdf}}\\
-//Recording:// [[recording|here (login with EECS credential to access this material)]]
-//Title:// Logics\\
+\\
-//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 =====
-//Title:// Concurrency\\
-//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\\
-//Reading material:// pages 341-351 of the textbook\\
-//Slides:// {{:lecture21.pdf|lecture21.pdf}}\\
 //Recording:// [[recording|here (login with EECS credential to access this material)]]