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
- MARS 2024, April, 2024, Luxembourg City, Luxembourg
- MARS 2022, April, 2022, Munich, Germany
- MARS 2020, April 26, 2020, Dublin, Ireland
- MARS 2018, April 20, 2018, Thessaloniki, Greece
- MARS 2017, April 29, 2017, Uppsala, Sweden
- MARS 2015, November 23, 2015, Suva, Fiji