UID:
almahu_9949930864302882
Format:
XVIII, 205 p. 76 illus., 35 illus. in color.
,
online resource.
Edition:
1st ed. 2025.
ISBN:
9783031781162
Series Statement:
Lecture Notes in Computer Science, 15403
Content:
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.
Note:
-- 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.
In:
Springer Nature eBook
Additional Edition:
Printed edition: ISBN 9783031781155
Additional Edition:
Printed edition: ISBN 9783031781179
Language:
English
DOI:
10.1007/978-3-031-78116-2
URL:
https://doi.org/10.1007/978-3-031-78116-2
Bookmarklink
