I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Model Checking
held by: Univ.-Prof. Dr. Helmut Veith †
held in: SS 2006
schedule: Wednesday, 09:30 - 12:00 (MI 03.09.014)
    start date: 2006-05-03 / end date: 2006-07-29

Thursday, 12:15 - 13:45 (MI 03.09.014)
    start date: 2006-05-03 / end date: 2006-07-29

news: Die Vorlesung am 26.7. (letzter Termin) entfällt!
downloadable material:
slides
title / description download
Temporal Logic Model Checking
click here...
Basic Fixpoint Theorems
click here...
Binary Decision Diagrams
click here...
Symbolic Model Checking
click here...
SMV
click here...
Bounded Model Checking
click here...
Simulation / Abstraction
click here...
SAT-Solving
click here...
SPIN
click here...
Partial Order Reduction
click here...
Predicate Abstraction
click here...
Bounded Software Model Checking
click here...