
Proceedings Workshop on Models for Formal Analysis of Real Systems
This volume contains the proceedings of MARS 2015, the first workshop on...
read it

Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation
This volume contains the joint proceedings of MARS 2018, the third works...
read it

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...
read it

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...
read it

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution
This volume contains the postproceedings of the second Workshop on Veri...
read it

Formal Methods for the Informal Engineer: Workshop Recommendations
Formal Methods for the Informal Engineer (FMIE) was a workshop held at t...
read it

Proceedings 18th Refinement Workshop
Refinement is one of the cornerstones of a formal approach to software e...
read it
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems
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 emphasises modelling over verification. It aims at discussing the lessons learned from making formal methods for the verification and analysis of realistic systems. 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? We invited papers that present full models of real systems, which may lay the basis for future comparison and analysis. An aim of the workshop is to present different modelling approaches and discuss pros and cons for each of them. Alternative formal descriptions of the systems presented at this workshop are encouraged, which should foster the development of improved specification formalisms.
READ FULL TEXT
Comments
There are no comments yet.