course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| course_outline [2012/10/23 23:08] – jonathan | course_outline [2012/11/28 19:55] (current) – jonathan | ||
|---|---|---|---|
| Line 88: | Line 88: | ||
| * model-checking and reachability graphs | * model-checking and reachability graphs | ||
| * temporal logic specifications | * temporal logic specifications | ||
| + | * safety properties and liveness properties | ||
| + | * discussion of the the bridge controller | ||
| + | |||
| + | ===== General Considerations ===== | ||
| + | |||
| + | This is covered in the slides in the SVN: Readings/ | ||
course_outline.1351033716.txt.gz · Last modified: 2012/10/23 23:08 by jonathan