book chapterLecture notes in computer scienceJan 1, 2010Closed access

Dafny: An Automatic Program Verifier for Functional Correctness

KRK. Rustan M. Leino

Microsoft (United States)

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

894
total citations
FWCI
31.53
Percentile
100%
References
71
Citations per year

Authors

1

Topics & keywords

Topics
Keywords
  • Computer science
  • Correctness
  • Programming language
  • Theoretical computer science
No related works found for this paper.