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 Uppsala, Sweden, in April 2017.
List of all Workshops
© 2015-16, Last Update May 1, 2016