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

Ansgar Fehnker, Hubert Garavel

This volume contains the proceedings of MARS 2020, the fourth workshop on Models for Formal Analysis of Real Systems held as part of ETAPS 2020, the European Joint Conferences on T…