Proceedings First Workshop on Applicable Formal Methods
Mario Gleirscher (University of Bremen), Jaco van de Pol (Aarhus, University), Jim Woodcock (University of York)
TL;DR
This workshop volume compiles research on applying formal methods in practical software engineering, emphasizing improving, evaluating, and transferring formal approaches to real-world contexts.
Contribution
It introduces new variants and evaluations of formal methods aimed at enhancing their practical applicability in software engineering.
Findings
Enhanced formal methods for practical use
Successful transfer of formal approaches to industry
Evaluation results demonstrating effectiveness
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.