Ermittlung des Testa... Theses on offer Analysis of protecti...

Diploma thesis

Evaluation and Comparision of Methods for Analysing the Explanatory Power of Model Checking Proofs

(Original Title:Bewertung und Vergleich von Verfahren zur Analyse der Aussagekraft von Model-Checking-Nachweisen)



Author: Claudia Schieber

Tutor: Dipl.-Inf. Johannes Drexler