Proceedings Eighth Symposium on Working Formal Methods
Mircea Marin (West University of Timi\c{s}oara), Lauren\c{t}iu, Leu\c{s}tean (University of Bucharest)
TL;DR
The paper summarizes the eighth symposium on working formal methods, highlighting the gathering of researchers and practitioners to share new theoretical results, methods, techniques, and tools in formal methods.
Contribution
It provides an overview of the symposium's focus on advancing formal methods through new research, tools, and collaborative efforts.
Findings
Diverse new theoretical results presented
Development of novel formal methods techniques
Implementation of software tools applying formal methods
Abstract
The Working Formal Methods Symposium (FROM) is a series of workshops that aim to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or 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.