Workshops

Modelling techniques for the accurate description of systems and their relevant properties are typically developed with formal analysis and formal verification in mind. To show that a developed approach actually scales to real systems, large case studies are essential.
To share insight and information concerning the development of models we are organising a workshop series. The next workshop will be held in Munich, Germany, in April 2022.

List of all Workshops


© 2015-2021, Last Update May 1, 2016