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 tomorrow for delivery by Thu 6 Aug 2026.

    A Paperback by Alexandre Madeira

    5 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

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

      Publisher: Springer
      Publication Date: 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