Proceedings First Workshop on Applicable Formal Methods

11/15/2021
by   Mario Gleirscher, et al.
0

This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM workshop is to bring together researchers who improve and evaluate existing formal approaches and new variants in practical contexts and support the transfer of these approaches to software engineering practice.

READ FULL TEXT
research
02/16/2018

Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

This volume contains the formal proceedings of the 4th International Wor...
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
04/01/2021

Formal Methods for the Informal Engineer: Workshop Recommendations

Formal Methods for the Informal Engineer (FMIE) was a workshop held at t...
research
02/03/2018

Proceedings First Workshop on Architectures, Languages and Paradigms for IoT

The 1st workshop on Architectures, Languages and Paradigms for IoT (ALP4...
research
12/23/2021

A Manifesto for Applicable Formal Methods

Formal methods were frequently shown to be effective and, perhaps becaus...
research
09/07/2017

Proceedings First Workshop on Formal Verification of Autonomous Vehicles

These are the proceedings of the workshop on Formal Verification of Auto...

Please sign up or login with your details

Forgot password? Click here to reset