Overview

Full Product Details

Author:   Alexandre Madeira ,  Alexander Knapp
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2025 ed.
Volume:   15280
ISBN:  

9783031773815

ISBN 10:   3031773810
Pages:   462
Publication Date:   26 November 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

.- Invited Talks. .- Formal Verification of Cyber-Physical Systems using Domain-specific Abstractions. .- Paraconsistency for the Working Software Engineer. .- Picturing Quantum Software. .- Contributed Papers. .- User-Guided Verification of Security Protocols via Sound Animation. .- A Policy Framework for Regulating External Calls in Smart Contracts. .- Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability. .- SmartML: Towards a Modeling Language for Smart Contracts. .- Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. .- Validating Traces of Distributed Programs Against TLA+ Specifications. .- Partially-Observable Security Games for Attack-Defence Analysis in Software Systems. .- Secure Smart Contracts with Isabelle/Solidity. .- Deductive verification of SYCL in VerCors. .- Minuska: Towards a Formally Verified Programming Language Framework. .- Hierarchical Learning of Generative Automaton Models from Sequential Data. .- Composing Run-time Variability Models. .- Model-Checking the Implementation of Consent. .- GrammarForge: Learning Program Input Grammars for Fuzz Testing. .- Verified Configuration and Deployment of Layered Attestation Managers. .- Right or Wrong – Understanding How Users Write Software Models in Alloy. .- An Operational Semantics for Yul. .- Execution-time opacity control for timed automata. .- Unlocking the Power of Environment Assumptions for Unit Proofs. .- Towards Quantum Multiparty Session Types. .- Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems. .- Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. .- Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions