EECS4315

User Tools

Site Tools

You are here: Mission Critical Systems » Weekly Calendar
Trace:
calendar

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
calendar [2017/03/26 15:42] – franckcalendar [2017/04/05 01:42] (current) – franck
Line 192: Line 192:
  
 //Title:// Computation Tree Logic\\ //Title:// Computation Tree Logic\\
-//Reading material:// pages 341-351 of the textbook and {{:public:partialorder.pdf|note on partial ordered sets and fixed points}}\\+//Reading material:// pages 341-351 of the textbook\\
 //Slides:// {{:public:lecture21.pdf|lecture21.pdf}}\\ //Slides:// {{:public:lecture21.pdf|lecture21.pdf}}\\
 //Course evaluation:// [[http://courseevaluations.yorku.ca|course evaluation]] at 10:05-10:15 //Course evaluation:// [[http://courseevaluations.yorku.ca|course evaluation]] at 10:05-10:15
Line 208: Line 208:
 ===== March 31 ===== ===== March 31 =====
  
-//Title:// Model Checking versus Theorem Proving\\ +//Title:// Computation Tree Logic\\ 
-//Reading material:// [[http://www.cs.cornell.edu/Info/People/halpern/papers/manifesto.pdf|Model Checking vs. Theorem Proving: A Manifesto]]\\ +//Reading material:// \\ 
-//Slides:// \\ +//Slides:// {{:public:lecture23.pdf|lecture23.pdf}}
-//Code://+
  
 ===== April 3 ===== ===== April 3 =====
Line 220: Line 219:
  
  
-//Title:// \\ +//Title:// Model Checking versus Theorem Proving\\ 
-//Reading material:// \\ +//Slides:// {{:public:lecture24.pdf|lecture24.pdf}}\\
-//Slides:// \\ +
-//Code:// \\+
 //Quiz:// [[quiz6|Quiz 6]] //Quiz:// [[quiz6|Quiz 6]]
 +
 +Last day to withdraw from the course and receive a W (non-petitionable).
  
 ===== April 13 ===== ===== April 13 =====
  
-Final exam, 9:00-11:00+Final exam in Accolade East, room 006, 9:00-11:00
  
 ===== April 16 ===== ===== April 16 =====
Line 248: Line 247:
  
  
-===== January 26 ===== 
  
-//Title:// Deadlocks and Race Conditions\\ 
-//Reading material:// Section 3.1 of the textbook\\ 
-//Slides:// {{:public:lecture8.pdf|lecture8.pdf}}\\ 
-//Code:// {{:public:Locker.txt|Locker.java}}, {{:public:TwoLockers.txt|TwoLockers.java}}, {{:public:Friend.txt|Friend.java}}, {{:public:TwoFriends.txt|TwoFriends.java}} 
- 
- 
- 
- 
- 
- 
- 
-===== March 1 ===== 
- 
-//Title:// Linear Temporal Logic\\ 
-//Reading material:// pages 229-236 of the textbook\\ 
-//Slides:// {{:public:lecture16.pdf|lecture16.pdf}}\\ 
- 
-===== March 3 ===== 
- 
-//Lab:// [[lab8|Lab8]] 
- 
-===== March 7 ===== 
- 
-//Title:// Linear Temporal Logic\\ 
-//Reading material:// pages 237-249 of the textbook\\ 
-//Slides:// {{:public:lecture17.pdf|lecture17.pdf}} 
- 
-===== March 8 ===== 
- 
-//Title:// Linear Temporal Logic\\ 
-//Reading material:// pages 252, 255-256, 313-327, 334-340 of the textbook\\ 
-//Slides:// {{:public:lecture18.pdf|lecture18.pdf}}\\ 
- 
-===== March 10 ===== 
- 
-//Lab:// work on your project and quiz on Linear Temporal Logic 
  
 ===== March 14 ===== ===== March 14 =====
Line 299: Line 261:
 //Slides:// {{:public:lecture20.pdf|lecture20.pdf}}\\ //Slides:// {{:public:lecture20.pdf|lecture20.pdf}}\\
 //Code:// {{:public:MaggieDogPoissonProblem.txt|MaggieDogPoisonProblem.java}} //Code:// {{:public:MaggieDogPoissonProblem.txt|MaggieDogPoisonProblem.java}}
- 
-===== March 17 ===== 
- 
-//Lab:// work on your project and quiz on Computation Tree Logic 
- 
- 
  
 ===== March 22 ===== ===== March 22 =====
- 
-Course evaluations (please bring a pencil) 
  
 //Title:// Structured Proofs\\ //Title:// Structured Proofs\\
calendar.1490542922.txt.gz · Last modified: 2017/03/26 15:42 by franck