Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

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.

Table des matières

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

Résumé

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.

Détails du produit

• Collaboration: Sidney C Nogueira (Editeur), Sidney C. Nogueira (Editeur), Teodorov (Editeur), Ciprian Teodorov (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 26.12.2024
• EAN: 9783031781155
• ISBN: 978-3-0-3178115-5
• Pages: 205
• Dimensions: 155 mm x 12 mm x 235 mm
• Poids: 347 g
• Illustrations: XVIII, 205 p. 76 illus., 35 illus. in color.
• Thème: Lecture Notes in Computer Science
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; Künstliche Intelligenz, machine learning, Software Engineering, Natürliche Sprachen und maschinelle Übersetzung, Smart Contracts, Ethereum, Netzwerk-Hardware, Theoretische Informatik, Wissensbasierte Systeme, Expertensysteme, UML, Theory of Computation, Open Banking, Computer Communication Networks, Natural Language Processing (NLP), Special Purpose and Application-Based Systems, Logic in AI, model checking, formal verification, modal logic, nearest neighbors classification, path planning, UML state machines, Quantitative Information Flow, trajectory optimization, signal temporal logics, Linear Temporal Logic, Controlled Natural Language, UML activities, Coq Proof Assistant, Privacy-Risk Analysis