Summary: Introduction to Model Checking
Lecture # 1: Motivation, Background, and Course Organization
Prof. Dr. Ir. Joost-Pieter Katoen
Lehrstuhl Software Modellierung and Verifikation
April 19, 2010
Software Errors
Software Correctness
Model Checking
Course Details
Therac-25 Radiation Overdosing (1985-87)
Radiation machine for treatment of
cancer patients
At least 6 cases of overdosis in period
1985­1987 ( 100-times dosis)
Three cancer patients died
Source: Design error in the control
software (race condition)
Prof. Dr. Ir. Joost-Pieter Katoen Introduction to Model Checking
Software Errors
Software Correctness

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences