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} }
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
44 Citations
IDVE: an integrated development and verification environment for JavaScript
- Computer Science
- Programming
- 2019
- PDF
Instrumenting a weakest precondition calculus for counterexample generation
- Computer Science
- J. Log. Algebraic Methods Program.
- 2018
- 5
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools
- Computer Science
- Computing and Software Science
- 2019
- 10
- PDF
References
SHOWING 1-10 OF 30 REFERENCES
Improved usability and performance of SMT solvers for debugging specifications
- Computer Science
- International Journal on Software Tools for Technology Transfer
- 2010
- 14
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
- Computer Science
- TACAS
- 2010
- 92
- PDF