Proceedings First Workshop on Applicable Formal Methods

11/15/2021

∙

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

Proceedings First Workshop on Applicable Formal Methods

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

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

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Sy

Formal Methods for the Informal Engineer: Workshop Recommendations

Proceedings First Workshop on Architectures, Languages and Paradigms for IoT

A Manifesto for Applicable Formal Methods

Proceedings First Workshop on Formal Verification of Autonomous Vehicles

Proceedings First Workshop on Applicable Formal Methods

Related Research

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

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

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Sy

Formal Methods for the Informal Engineer: Workshop Recommendations

Proceedings First Workshop on Architectures, Languages and Paradigms for IoT

A Manifesto for Applicable Formal Methods

Proceedings First Workshop on Formal Verification of Autonomous Vehicles