Description

Book Synopsis
Foreword.- Part I. Core Components.- ACSL Specification Language.- The Kernel and its Services.- Abstract Interpretation with Eva.- Deductive Verification with WP.- Runtime Assertion Checking with E-ACSL.- Test generation with PathCrawler.- Development of new plug-ins.- Part II. Advanced Usages and Combinations.- Tools for Program Understanding.- Combinations of Analyses.- Numerical Accuracy Analysis.- Analyses of Concurrent Programs.- High-Level Properties.- Part III. Applications and Emerging Domains.- Applications in Transportation, Energy and Defence.- Applications in Cybersecurity and Trusted AI.- Artificial Intelligence for Improving Verification Techniques.- Index.- Bibliography.

Guide to Software Verification with FramaC

    Product form

    A Hardback by Nikolai Kosmatov

    £52.24

    Includes FREE delivery

    RRP £54.99 – you save £2.75 (5%)

    Order before 4pm today for delivery by Tue 24 Nov 2026.

    1 in stock

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

      View other formats and editions of Guide to Software Verification with FramaC by Nikolai Kosmatov

      Book details

      Publisher Springer International Publishing
      Published 7 October 2024
      ISBN-13 9783031556074
      978-3031556074
      ISBN-10 3031556070
      Also in:
      Software testing and verification

      Description

      Book Synopsis
      Foreword.- Part I. Core Components.- ACSL Specification Language.- The Kernel and its Services.- Abstract Interpretation with Eva.- Deductive Verification with WP.- Runtime Assertion Checking with E-ACSL.- Test generation with PathCrawler.- Development of new plug-ins.- Part II. Advanced Usages and Combinations.- Tools for Program Understanding.- Combinations of Analyses.- Numerical Accuracy Analysis.- Analyses of Concurrent Programs.- High-Level Properties.- Part III. Applications and Emerging Domains.- Applications in Transportation, Energy and Defence.- Applications in Cybersecurity and Trusted AI.- Artificial Intelligence for Improving Verification Techniques.- Index.- Bibliography.

      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