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)