1 option
Formal Methods: Foundations and Applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings / edited by Sidney C. Nogueira, Ciprian Teodorov.
Springer Nature - Springer Computer Science (R0) eBooks 2025 English International Available online
View online- Format:
- Book
- Author/Creator:
- C. Nogueira, Sidney.
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 15403
- Language:
- English
- Subjects (All):
- Software engineering.
- Natural language processing (Computer science).
- Logic programming.
- Computer science.
- Computers, Special purpose.
- Computer networks.
- Software Engineering.
- Natural Language Processing (NLP).
- Logic in AI.
- Theory of Computation.
- Special Purpose and Application-Based Systems.
- Computer Communication Networks.
- Local Subjects:
- Software Engineering.
- Natural Language Processing (NLP).
- Logic in AI.
- Theory of Computation.
- Special Purpose and Application-Based Systems.
- Computer Communication Networks.
- Physical Description:
- 1 online resource (216 pages)
- Edition:
- 1st ed. 2025.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
- Summary:
- 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.
- Contents:
- 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.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783031781162
- 3031781163
- OCLC:
- 1477222995
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.