libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

c. nogueira sidney (curatore); teodorov ciprian (curatore) - formal methods: foundations and applications

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

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
62,98 €
NICEPRICE
59,83 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 11/2024





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

ISBN:

9783031781155

Condizione: Nuovo
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


Dicono di noi