The Dafny Program Verifier

  • Rustan Leino

Seminar, Victoria University of Wellington, Wellington, New Zealand |

Published by Microsoft Research

Download BibTex
  • 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

Related Tools

Dafny

Dafny is a verification-aware programming language.

Access