The ISP offers a seminar in the field of formal methods next semester (WS 2012/13).
The seminar addresses logic, model- and query checking techniques as tools for the formal specification and analysis of state-based models, e.g. of soft- and hardware systems or business processes.
Martin Leucker has given an invited tutorial on Runtime Verification and Runtime Reflection at the first european conference of the prognostics and health management society (PHM'12) in Dresden, Germany. Further information on the tutorials can be obtained at PHM's tutorial page.
Für das Bachelorprojekt im Sommersemester 2012 führen wir nochmals eine Vorbesprechung durch. Alle interessierten Studierenden sind herzlich dazu eingeladen.
The ISP just acquired funding for maintaining its cooperation with the Université de Paris 7 (Diderot) and the LSV at the ENS Cachan. The grant provided by the DAAD supports our project LeMon in 2012 and 2013. The scope of Lemon is on learning monitors for reengineering applications.
