• DOI:10.4204/EPTCS.149.2
Corpus ID: 13084960

The Dafny Integrated Development Environment

@inproceedings{Leino2014TheDI,
  title={The Dafny Integrated Development Environment},
  author={K. Leino and Valentin W{\"u}stholz},
  booktitle={F-IDE},
  year={2014}
}

K. Leino, Valentin Wüstholz

Published in F-IDE 2014

Computer Science

In recent years, program verifiers and interactive theorem provers have become more powerful and more suitable for verifying large programs or proofs. This has demonstrated the need for improving the user experience of these tools to increase productivity and to make them more accessible to nonexperts. This paper presents an integrated development environment for Dafny—a programming language, verifier, and proof assistant—that addresses issues present in most state-of-the-art verifiers: low… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed