Dafny: An Automatic Program Verifier for Functional Correctness (2010)

by K. Rustan M. Leino
Citations:69 - 2 self

Document Versions

Dafny: An Automatic Program Verifier for Functional Correctness –K. Rustan M. Leino — 2010
Dafny: An automatic program verifier for functional correctness –K. Rustan, M. Leino — 2010 — In LPAR ’10: Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning