Formal Methods: Foundations and Applications (eBook, PDF)

27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Redaktion: C. Nogueira, Sidney; Teodorov, Ciprian

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 205
• Erscheinungstermin: 28. November 2024
• Englisch
• ISBN-13: 9783031781162
• Artikelnr.: 72318178

Inhaltsangabe

.- Formal Analysis and Verification in Temporal and Symbolic Systems.
.- On the Existence of Unions of Timed Scenarios.
.- SMTQuery: Analysing SMT-LIB String Benchmarks.
.- Autonomous Vehicles Path Planning under Temporal Logic Specifications.
.- Formal Semantics and Verification of UML Models.
.- A CSP semantics for UML state machines aiming at hidden formal methods verification.
.- Verifying integrated designs of UML state machines and activities using CSP.
.- An integrated framework for analysing, simulating and testing UML models.
.- Formal Verification and Proof Techniques in Algorithms and Logics.
.- Computer-Assisted Proof of Brzozowski's Algorithm.
.- Soundness-Preserving Fusion of Modal Logics in Coq.
.- Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm.
.- Formal Methods for Security and Privacy.
.- Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM.
.- Formal Privacy Analyses for Open Banking.
.- Trusted Deployer: A Tool for Verification, Safe Creation and Upgrades of Ethereum Smart Contracts.