CloseHelpPrint
Kies de Nederlandse taal
Course module: 192114100
192114100
Principles of Model Checking
Course info
Course module192114100
Credits (ECTS)5
Course typeCourse
Language of instructionEnglish
Contact personprof.dr.ir. J.P. Katoen
E-mailj.p.katoen@utwente.nl
Lecturer(s)
Lecturer
prof.dr.ir. J.P. Katoen
Contactperson for the course
prof.dr.ir. J.P. Katoen
Academic year2016
Starting block
1A
Application procedureYou apply via OSIRIS Student
Registration using OSIRISYes
Learning goals
The aim of this course is to obtain deep knowledge about the underlying theory, algorithms, and theoretical complexity of model checking.
Content
Course description This course provides the theoretical underpinnings of model checking, a successful automated verification technique for both software ad hardware. It covers the temporal logics LTL and CTL, compares their expressiveness, and covers the elementary algorithms for model checking these logics as well as their theoretical complexity. Techniques to combat the state-space explosion problem are at the heart of the success of model checking. We introduce the main class of these techniques, i.e., abstraction.The focus of this course is on theory, algorithms and complexity analyses and neither on the application of model checking to case studies nor on model-checking tools. 
 
Assumed previous knowledge
Voorkennis noodzakelijk:Algoritmen, Datastructuren & complexiteit (192140200) of Algoritmen,datastruct.& complexit. Plus (192140250),Basismodellen in de Informatica (192111801)
PARTICIPATING STUDY
M-CSC
Required materials
-
Recommended materials
Book
C. Baier & J.-P. Katoen: "Principles of Model Checking", MIT Press, 2008. ISBN 78-0-262-02649-9
Instructional modes
Lecture

Tutorial

Tests
Written exam

CloseHelpPrint
Kies de Nederlandse taal