Schweitzer Fachinformationen
Wenn es um professionelles Wissen geht, ist Schweitzer Fachinformationen wegweisend. Kunden aus Recht und Beratung sowie Unternehmen, öffentliche Verwaltungen und Bibliotheken erhalten komplette Lösungen zum Beschaffen, Verwalten und Nutzen von digitalen und gedruckten Medien.
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.
.- 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.
Dateiformat: PDFKopierschutz: Wasserzeichen-DRM (Digital Rights Management)
Systemvoraussetzungen:
Das Dateiformat PDF zeigt auf jeder Hardware eine Buchseite stets identisch an. Daher ist eine PDF auch für ein komplexes Layout geeignet, wie es bei Lehr- und Fachbüchern verwendet wird (Bilder, Tabellen, Spalten, Fußnoten). Bei kleinen Displays von E-Readern oder Smartphones sind PDF leider eher nervig, weil zu viel Scrollen notwendig ist. Mit Wasserzeichen-DRM wird hier ein „weicher” Kopierschutz verwendet. Daher ist technisch zwar alles möglich – sogar eine unzulässige Weitergabe. Aber an sichtbaren und unsichtbaren Stellen wird der Käufer des E-Books als Wasserzeichen hinterlegt, sodass im Falle eines Missbrauchs die Spur zurückverfolgt werden kann.
Weitere Informationen finden Sie in unserer E-Book Hilfe.
