Abstract

  • Tools and specifications are useful in software development
  • Full functional-correctness verification is becoming more automatic
  • To build a verifier, use an intermediate verification language