[an error occurred while processing this directive]
 

Semesterarbeit

Type of project:
Semesterarbeit SS 2005

Author:
Ronny Zakhejm

Title:
Proving the Deutsch-Schorr-Waite Algorithm using Path Properties

Supervising Assistant:
Bernd Schoeller

Description

Goal of this semester project is to proof the correctness of the Deutsch-Schorr-Waite graph marking algorithm with a syntax-based method, i.e. the proof will be done with a hoare style logic based on path properties.

projectplan
report