Formal Methods: Foundations and Applications

TRAMA

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.

SOMMARIO

.- 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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783031781155
• Collana: Lecture Notes in Computer Science
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: XVIII, 205 p. 76 illus., 35 illus. in color.
• Pagine Arabe: 205
• Pagine Romane: xviii