Program Verification with SAW

Contents:

  • Getting Started
  • Specifications and Verification
  • Memory Layout and Pointers
  • Compositional Verification of Salsa20
  • Extended Exercise: HMAC Maintenance
  • Example Solution: HMAC Maintenance
  • Further Reading
  • Glossary
Program Verification with SAW
  • »
  • Index

Index

C | M | P | S | T | V

C

  • compositional verification, [1]
  • Cryptol

M

  • maintenance
    • proof

P

  • postcondition
  • precondition
  • proof
    • maintenance
  • proof maintenance

S

  • SAWCore
  • SAWScript, [1]
  • sequence comprehension
  • SetupValue
  • specification
  • symbolic execution
  • symbolic value

T

  • Term
  • testing

V

  • verification

© Copyright 2020, Galois, Inc.

Built with Sphinx using a theme provided by Read the Docs.