|
VIRTUAL LIBRARY
for Bachelor and Master Degree Students
Course: Semantics and Verification |
Showing URLs 1 to 1 of 1 |
http://www.cs.auc.dk/~luca/SV/
|
Available in: |
English |
Anotation: |
The aim of this course is to introduce advanced mathematical models for the formal description and analysis of programs, with emphasis on parallel, reactive systems. The course consists of three modules, each spanning five lectures. It deals with semantic models for parallel systems, and logics for the description of their properties. As part and parcel of the course material, we also introduce automatic verification tools, and hint at some of the implementation techniques underlying them. |
ECTS credits: |
3 |
Entered on: |
17 March 2004 |
|
|
|
|