The Dafny Program Verifier

  • Rustan Leino

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

Published by Microsoft Research

Télécharger 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

Outils connexes

Dafny

Dafny is a verification-aware programming language.

Accès