Concepts for model-b... Theses on offer Entwicklung und Eval...

Bachelor thesis

Statische Analyse Erweiterter Endlicher Zustandsmaschinen zur Verifikation der Gültigkeit von CTL-Formeln

(Original Title:Statische Analyse Erweiterter Endlicher Zustandsmaschinen zur Verifikation der Gültigkeit von CTL-Formeln)



Author: Christian Regnet

Tutor: Dipl.-Inf Marc Spisländer