DeepAI AI Chat
Log In Sign Up

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
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...
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...
04/01/2021

Formal Methods for the Informal Engineer: Workshop Recommendations

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

Proceedings First Workshop on Architectures, Languages and Paradigms for IoT

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

A Manifesto for Applicable Formal Methods

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

Proceedings First Workshop on Formal Verification of Autonomous Vehicles

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