Dies ist eine alte Version des Dokuments!
Wissenschaftlicher Mitarbeiter
Tel. +49 241 80 21158
Fax +49 241 80 22150
Email: biallas[at]embedded[dot]rwth-aachen[dot]de
Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2325 (Gebäude H)
Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse