# Preface: Proceedings of the 2nd workshop on models for formal analysis of real systems

## Authors

Saarland University

Data61

CSIRO

UNSW

## Abstract

This volume contains the proceedings of MARS 2017, the second workshop on Models for Formal Analysis of Real Systems, held on April 29, 2017 in Uppala, Sweden, as an affiliated workshop of ETAPS 2017, the European Joint Conferences on Theory and Practice of Software.

The workshop aims at discussing exactly these unmentioned lessons. Examples are: (1) Which formalism is chosen, and why? (2) Which abstractions have to be made and why? (3) How are important characteristics of the system modelled? (4) Were there any complications while modelling the system? (5) Which measures were taken to guarantee the accuracy of the model?

The workshop emphasises modelling over verification. In particular, we invited papers that present full models of real systems, which may lay the basis for future comparison and analysis. The work- shop thus intends to bring together researchers from different communities that all aim at verifying real systems and are developing formal models for such systems.

## BibTeX Entry

@inbook{Hermanns_Hfner_17, author = {Hermanns, Holger and H\"ofner, Peter}, booktitle = {Electronic Proceedings in Theoretical Computer Science}, issn = {2075-2180}, month = apr, pages = {-}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/9539.pdf}, title = {Preface: Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems}, volume = {244}, year = {2017} }