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/30 16:15] – franckcalendar [2017/04/05 01:42] (current) – 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:// \\ +//Slides:// {{:public:lecture24.pdf|lecture24.pdf}}\\
-//Slides:// \\ +
-//Code:// \\+
 //Quiz:// [[quiz6|Quiz 6]] //Quiz:// [[quiz6|Quiz 6]]
  
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.1490890537.txt.gz · Last modified: 2017/03/30 16:15 by franck