calendar
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
calendar [2017/03/23 01:02] – franck | calendar [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 | + | //Reading material:// pages 341-351 of the textbook\\ |
- | // | + | // |
//Course evaluation:// | //Course evaluation:// | ||
Line 204: | Line 204: | ||
//Title:// Software for Dependable Systems\\ | //Title:// Software for Dependable Systems\\ | ||
//Reading material:// [[http:// | //Reading material:// [[http:// | ||
- | // | + | // |
===== March 31 ===== | ===== March 31 ===== | ||
- | //Title:// \\ | + | // |
//Reading material:// \\ | //Reading material:// \\ | ||
- | // | + | // |
- | //Code:// | + | |
===== April 3 ===== | ===== April 3 ===== | ||
Line 220: | Line 219: | ||
- | // | + | // |
- | //Reading material:// | + | // |
- | // | + | |
- | //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:// {{: | ||
- | //Code:// {{: | ||
- | |||
- | |||
- | |||
- | |||
- | |||
- | |||
- | |||
- | ===== March 1 ===== | ||
- | |||
- | //Title:// Linear Temporal Logic\\ | ||
- | //Reading material:// pages 229-236 of the textbook\\ | ||
- | //Slides:// {{: | ||
- | |||
- | ===== March 3 ===== | ||
- | |||
- | //Lab:// [[lab8|Lab8]] | ||
- | |||
- | ===== March 7 ===== | ||
- | |||
- | //Title:// Linear Temporal Logic\\ | ||
- | //Reading material:// pages 237-249 of the textbook\\ | ||
- | //Slides:// {{: | ||
- | |||
- | ===== March 8 ===== | ||
- | |||
- | //Title:// Linear Temporal Logic\\ | ||
- | //Reading material:// pages 252, 255-256, 313-327, 334-340 of the textbook\\ | ||
- | //Slides:// {{: | ||
- | |||
- | ===== March 10 ===== | ||
- | |||
- | //Lab:// work on your project and quiz on Linear Temporal Logic | ||
===== March 14 ===== | ===== March 14 ===== | ||
Line 299: | Line 261: | ||
//Slides:// {{: | //Slides:// {{: | ||
//Code:// {{: | //Code:// {{: | ||
- | |||
- | ===== 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.1490230956.txt.gz · Last modified: 2017/03/23 01:02 by franck