
Semesterarbeit

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