Description

Book Synopsis
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.

The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.



Table of Contents
Automated Consistency Analysis for Legal Contracts.- Monitoring Cyber-Physical Systems using a Tiny Twin to Prevent Cyber-Attacks.- Synthesis of Rigorous Floating-Point Predicates.- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals.- SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.- Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench.- Bounded-Memory Runtime Enforcement.- Solving String Theories involving Regular Membership Predicates using SAT.

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

    Product form

    £75.99

    Includes FREE delivery

    RRP £79.99 – you save £4.00 (5%)

    Order before 4pm today for delivery by Fri 31 Jul 2026.

    A Paperback by Owolabi Legunsen, Grigore Rosu

    Out of stock

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

      View other formats and editions of Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings by Owolabi Legunsen

      Publisher: Springer International Publishing AG
      Publication Date: Publication Date: 23/08/2022
      ISBN13: 9783031150760, 978-3031150760
      ISBN10: 3031150767

      Description

      Book Synopsis
      This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.

      The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.



      Table of Contents
      Automated Consistency Analysis for Legal Contracts.- Monitoring Cyber-Physical Systems using a Tiny Twin to Prevent Cyber-Attacks.- Synthesis of Rigorous Floating-Point Predicates.- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals.- SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.- Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench.- Bounded-Memory Runtime Enforcement.- Solving String Theories involving Regular Membership Predicates using SAT.

      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