Description

Book Synopsis

.- 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.

Software Engineering and Formal Methods

Product form

£53.99

Includes FREE delivery

RRP £59.99 – you save £6.00 (10%)

Order before 4pm today for delivery by Sat 24 Jan 2026.

A Paperback by Alexandre Madeira

5 in stock


    View other formats and editions of Software Engineering and Formal Methods by Alexandre Madeira

    Publisher: Springer
    Publication Date: 11/26/2024
    ISBN13: 9783031773815, 978-3031773815
    ISBN10: 3031773810
    Also in:
    Software Engineering

    Description

    Book Synopsis

    .- 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.

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account