Teaching‎ > ‎

Model-Checking and Verification

The aim of this course is to introduce advanced mathematical models for the formal description and analysis of programs, with emphasis on parallel and reactive systems. The course consists of several modules, each spanning 2-5 lectures, and two mini projects. It deals with semantic models for parallel systems and logics for the description of their properties. As part of the course material, the course also introduces several automatic verification tools and hint at some of the implementation techniques underlying them.
 
Ċ
CTL.pdf
(133k)
Dr. Saleem Vighio,
Sep 11, 2013, 5:01 AM
ĉ
Dr. Saleem Vighio,
Apr 9, 2013, 12:12 AM
Ċ
Dr. Saleem Vighio,
Apr 9, 2013, 4:14 AM
Ċ
Dr. Saleem Vighio,
Apr 9, 2013, 12:09 AM
ć
Dr. Saleem Vighio,
Sep 11, 2013, 5:01 AM
Ċ
Dr. Saleem Vighio,
Sep 11, 2013, 5:00 AM
Ċ
Dr. Saleem Vighio,
Sep 11, 2013, 5:01 AM
ć
Dr. Saleem Vighio,
Apr 10, 2013, 8:20 PM
Ċ
lec.02.pdf
(625k)
Dr. Saleem Vighio,
Apr 17, 2013, 8:58 PM
Ċ
lec4-mc.pdf
(16104k)
Dr. Saleem Vighio,
Sep 11, 2013, 5:03 AM