MARS 2018 - 3rd Workshop on Models for Formal Analysis of Real Systems (MARS 2018)

Specification formalisms and modelling techniques are often developed with formal analysis and formal verification in mind. To demonstrate applicability, tiny case studies are typically presented in research papers. But to show that a developed approach actually scales to real systems, large case studies are essential. The process of developing a detailed and accurate model usually takes a considerable amount of time, often months to years.
This workshop emphasises modelling. In particular, we invite papers that present full models of real systems, which may lay the basis for future comparison and analysis. By default, the models related to the submission will be archived in a repository in a machine-readable form. The workshop brings together researchers from different communities facing real systems and developing formal models thereof, especially in areas where large models occur, such as networked or cyber-physical systems. An aim of the workshop is to present different modelling approaches, to discuss pros and cons for each of them, and to start a collection of interesting benchmarks for diverse formal methods.
Organisers: Rob van Glabbeek , Wendelin Serwe