Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction to Model Checking Lecture # 1: Motivation, Background, and Course Organization
 

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