Proceedings Third Symposium on Working Formal Methods
Mircea Marin (West University of Timi\c{s}oara), Adrian Cr\u{a}ciun, (West University of Timi\c{s}oara)
TL;DR
The proceedings of FROM 2019 showcase recent advances in formal methods, including new theories, techniques, and tools, aiming to bridge research and practical application in software development.
Contribution
This volume compiles recent theoretical results, methods, and tools in formal methods, fostering collaboration between researchers and practitioners.
Findings
Introduction of new formal methods frameworks
Development of software tools applying formal techniques
Enhanced integration of formal methods into practical workflows
Abstract
This volume contains the proceedings of FROM 2019: the Third Symposium on Working Formal Methods, held on September 3-5, 2019 in Timi\c{s}oara (Romania). FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions.
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.