Critical Systems (CS_411, Academic Year 2001/02)
Lent Term 2002
Lecturer
Dr. A. Setzer
Dept.
of Computer Science
University of Wales Swansea
Singleton Park
Swansea
SA2 8PP,UK
Tel. (01792) 513368
Fax (01792) 295651
Timetable
- Thursday, 10:00, Robert Recorde Room
- Friday, 12:00, Robert Recorde Room
Slides, Handouts
These slides are presented only for access by my
students (I haven't figured out yet how to
restrict the access). Please refer to the copyright notice
on slide 7 of Section 1.
For my students: Please don't print these
files on departmental printers.
Instead ask in the student secretary for a copy.
To print out on ordinary printers
costs, because of the cost of the toner,
5 to 10 times more than fotocopying, as done by the lecturer.
Slides used in the Course
- Errata of the slides handed out (corrected in the versions available below; will
be continuously updated)
- Section A0:
- Section A1:
- Section A2:
- Section A3:
- Section B1:
- Section B2:
- Relevant Agda files can be find here
Coursework
- Coursework1
- Coursework2
- Coursework3
Other Course Material
Links
- Agda and related
- Haskell
- Examples of failures of critical systems.
Last modified: Tue May 2 22:56:18 BST 2006