Description

Book Synopsis

.- MoXIchecker: An Extensible Model Checker for MoXI.

.- Towards Verifying Security Policies for Infinite-State Systems.

.- Deductive Verification of Sparse Sets in Why3.

.- PolySAT: Word-level Bit-vector Reasoning in Z3.

.- Proof-Producing Symbolic Execution for P4.

.- Statically Inferring Usage Bounds for Infrastructure as Code.

.- hax: Verifying Security-Critical Rust Software using Multiple Provers.

Verified Software. Theories Tools and Experiments

    Product form

    £44.99

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Wed 17 Jun 2026.

    A Paperback by Jonathan Protzenko

    15 in stock


      View other formats and editions of Verified Software. Theories Tools and Experiments by Jonathan Protzenko

      Publisher: Springer
      Publication Date: 21/04/2025
      ISBN13: 9783031866944, 978-3031866944
      ISBN10:
      Also in:
      Computing Mathematical theory of computation

      Description

      Book Synopsis

      .- MoXIchecker: An Extensible Model Checker for MoXI.

      .- Towards Verifying Security Policies for Infinite-State Systems.

      .- Deductive Verification of Sparse Sets in Why3.

      .- PolySAT: Word-level Bit-vector Reasoning in Z3.

      .- Proof-Producing Symbolic Execution for P4.

      .- Statically Inferring Usage Bounds for Infrastructure as Code.

      .- hax: Verifying Security-Critical Rust Software using Multiple Provers.

      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