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
Next revisionBoth sides next revision
calendar [2017/03/30 15:58] – franckcalendar [2017/03/31 02:02] – franck
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:// \\+//Reading material:// [[http://www.cs.cornell.edu/Info/People/halpern/papers/manifesto.pdf|Model Checking vs. Theorem Proving: A Manifesto]]\\
 //Slides:// \\ //Slides:// \\
-//Code:// \\+//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 =====
Line 248: Line 249:
  
  
-===== 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 263:
 //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.txt · Last modified: 2017/04/05 01:42 by franck