Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4–6, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
| ISBN: | 9783031781155 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 205 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | C. Nogueira, Sidney Teodorov, Ciprian |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 29.11.2024 |
| Untertitel: | 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings |
| Schlagworte: | Coq Proof Assistant Formal Verification Open Banking Privacy-Risk Analysis Quantitative Information Flow Smart Contracts UML UML state machines machine learning nearest neighbors classification |