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 submi...
Furkejuvvon:
| Searvvušdahkki: | |
|---|---|
| Eará dahkkit: | , |
| Materiálatiipa: | Elektrovnnalaš E-girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Preanttus: | 1st ed. 2025. |
| Ráidu: | Lecture Notes in Computer Science,
15403 |
| Fáttát: | |
| Liŋkkat: | https://doi.org/10.1007/978-3-031-78116-2 |
| Fáddágilkorat: |
Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
Sisdoallologahallan:
- -- 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.