Seminar on Temporal Logic Query Checking

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.

You can find further information on the seminar web page.