Developing verified programs with dafny

DOI 10.1109/icse.2013.6606754 dblp

Abstract

Dafny is a programming language and program verifier. The language includes specification constructs and the verifier checks that the program lives up to its specifications. These tutorial notes give some Dafny programs used as examples in the tutorial.

BibTeX

@inproceedings{Leino:ICSE13,
  author    = {K. Rustan M. Leino},
  title     = {Developing verified programs with dafny},
  booktitle = {ICSE},
  pages     = {1488--1490},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
}

Developing verified programs with dafny

Abstract

Related papers