CSE470 Handouts
Fall 2001
Promela examples
Therac-25 paper:
(HTML Version, not the one that is assigned) Leveson, Nancy, and Clark S. Turner. July 1993. "An Investigation of the Therac-25 Accidents", IEEE Computer, Vol. 25, No. 7, pp. 18-41.
Medical Devices: The Therac-25
This is a PDF file of the paper to read.
Ariane 5 Accident
Model Checking Notes
(Updated 11/5/01)
System Design Notes
(Updated 11/14/01)