Welcome
Semantics & Verification, Spring 2008
Welcome to the home-page of the course
Semantics & Verification, Spring 2008
for Dat4, F8S and International Master Students at the Department of Computer
Science, Aalborg University.
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, we also introduce several automatic
verification tools, and hint at some of the implementation techniques
underlying them.
We hope that you will enjoy the course as much as we do,
Kim G. Larsen and Jiri Srba