Proceedings 7th Symposium on Working Formal Methods
Hora\c{t}iu Cheval (University of Bucharest), Lauren\c{t}iu, Leu\c{s}tean (University of Bucharest & Institute for Logic, Data Science, & IMAR), Andrei Sipo\c{s} (University of Bucharest & Institute for Logic and, Data Science & IMAR)
TL;DR
This paper compiles proceedings from the 7th Working Formal Methods Symposium, showcasing recent research and developments in formal methods presented at the event held in Bucharest in 2023.
Contribution
It provides a comprehensive collection of recent advances and discussions in formal methods from the symposium, serving as a valuable resource for researchers.
Findings
Highlights key research trends in formal methods
Includes innovative approaches and case studies
Summarizes ongoing challenges and future directions
Abstract
This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.
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.