| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Formal methods/ edited by Sidney C. Nogueira, Ciprian Teodorov. |
| Reminder of title: |
foundations and applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024 : proceedings / |
| remainder title: |
SBMF 2024 |
| other author: |
Nogueira, Sidney C. |
| corporate name: |
Brazilian Symposium on Formal Methods |
| Published: |
Cham :Springer Nature Switzerland : : 2025., |
| Description: |
xviii, 205 p. :ill. (some col.), digital ;24 cm. |
| [NT 15003449]: |
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. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Formal methods (Computer science) - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-78116-2 |
| ISBN: |
9783031781162 |