Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems

03/17/2022
by   Clemens Dubslaff, et al.
0

This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring together researchers from different communities who are developing formal models of real systems in areas where complex models occur, such as networks, cyber-physical systems, hardware/software co-design, biology, etc. The motivation and aim for MARS stem from the following two observations: * Large case studies are essential to show that specification formalisms and modelling techniques are applicable to real systems, whereas many research papers only consider toy examples or tiny case studies. * Developing an accurate model of a real system takes a large amount of time, often months or years. In most scientific papers, however, salient details of the model need to be skipped due to lack of space, and to leave room for formal verification methodologies and results. The MARS workshops aim at remedying these issues, emphasising modelling over verification, so as to retain lessons learnt from formal modelling, which are not usually discussed elsewhere.

READ FULL TEXT
research
04/26/2020

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems

This volume contains the proceedings of MARS 2020, the fourth workshop o...
research
03/15/2017

Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems

This volume contains the proceedings of MARS 2017, the second workshop o...
research
11/08/2015

Proceedings Workshop on Models for Formal Analysis of Real Systems

This volume contains the proceedings of MARS 2015, the first workshop on...
research
06/25/2018

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design

This volume contains the proceedings of the 1st International Workshop o...
research
03/18/2022

An Overview of Modest Models and Tools for Real Stochastic Timed Systems

We depend on the safe, reliable, and timely operation of cyber-physical ...
research
10/18/2021

Proceedings of the 19th International Overture Workshop

This volume contains the papers presented at the 19th International Over...

Please sign up or login with your details

Forgot password? Click here to reset