Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
Suzana Andova, Annabelle McIver, Pedro D'Argenio, Pieter Cuijpers,, Jasen Markovski, Caroll Morgan, Manuel N\'u\~nez
TL;DR
This collection of papers from the first workshop on Quantitative Formal Methods discusses recent advances in the theory and applications of quantitative approaches in formal methods, highlighting new research directions and practical implementations.
Contribution
It introduces new theoretical frameworks and application techniques for quantitative formal methods, expanding the scope of formal verification and analysis.
Findings
New models for quantitative analysis
Enhanced verification techniques
Practical applications demonstrated
Abstract
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the International Symposium on Formal Methods 2009. This volume contains the final versions of all contributions accepted for presentation at the workshop.
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.