The Dafny Program Verifier

  • Rustan Leino

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

Published by Microsoft Research

  • 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

Publication Downloads

Dafny

January 2, 2017

Dafny is a verification-aware programming language.