Welcome
Semantics & Verification, Spring 2005
Welcome to the home-page of the course
Semantics & Verification, Spring 2005
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 four 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.