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/20 21:29] – franckcalendar [2017/04/05 01:42] (current) – franck
Line 185: Line 185:
 ===== March 22 ===== ===== March 22 =====
  
-//Title:// \\ +//Title:// Linear temporal logic\\ 
-//Reading material:// \\ +//Reading material:// pages 252, 255-256, 313-327, 334-340 of the textbook\\ 
-//Slides:// \\ +//Slides:// {{:public:lecture20.pdf|lecture20.pdf}}
-//Code://+
  
 ===== March 24 ===== ===== March 24 =====
  
-//Title:// \\ +//Title:// Computation Tree Logic\\ 
-//Reading material:// \\ +//Reading material:// pages 341-351 of the textbook\\ 
-//Slides:// \\ +//Slides:// {{:public:lecture21.pdf|lecture21.pdf}}\\
-//Code:// \\+
 //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 206: Line 204:
 //Title:// Software for Dependable Systems\\ //Title:// Software for Dependable Systems\\
 //Reading material:// [[http://www.nap.edu/catalog/11923/software-for-dependable-systems-sufficient-evidence|Software for Dependable Systems: Sufficient Evidence?]]\\ //Reading material:// [[http://www.nap.edu/catalog/11923/software-for-dependable-systems-sufficient-evidence|Software for Dependable Systems: Sufficient Evidence?]]\\
-//Slides:// +//Slides:// {{:public:lecture22.pdf|lecture22.pdf}}
  
 ===== March 31 ===== ===== March 31 =====
  
-//Title:// \\+//Title:// Computation Tree Logic\\
 //Reading material:// \\ //Reading material:// \\
-//Slides:// \\ +//Slides:// {{:public:lecture23.pdf|lecture23.pdf}}
-//Code://+
  
 ===== April 3 ===== ===== April 3 =====
Line 222: 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 250: 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 301: 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.1490045364.txt.gz · Last modified: by franck