Description

Book Synopsis
1. Introduction.- 2. Background on First-Order Logic and Set Theory.- 3. System Modelling.- 4. Crash Course on Temporal Logic and its Verification.- 5. Software Analysis.- 6. Crash Course on Design by Contract Specifications.- 7. Run-time checking of Design by Contract Specifications.- 8. Static Checking of Design by Contract Specification.- 9. Abstract Specifications.

Concise Guide to Software Verification

    Product form

    A Paperback by Marieke Huisman

    £49.49

    Includes FREE delivery

    RRP £54.99 – you save £5.50 (10%)

    Order before 4pm today for delivery by Fri 9 Oct 2026.

    Out of stock

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

      View other formats and editions of Concise Guide to Software Verification by Marieke Huisman

      Book details

      Publisher Springer
      Published 7/26/2024
      ISBN-13 9783031301698
      978-3031301698
      ISBN-10 3031301692

      Description

      Book Synopsis
      1. Introduction.- 2. Background on First-Order Logic and Set Theory.- 3. System Modelling.- 4. Crash Course on Temporal Logic and its Verification.- 5. Software Analysis.- 6. Crash Course on Design by Contract Specifications.- 7. Run-time checking of Design by Contract Specifications.- 8. Static Checking of Design by Contract Specification.- 9. Abstract Specifications.

      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