The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Accessible Software Verification with Dafny

The work

AuthorsK. Rustan M. Leino
Editors
Typearticle
Year2017
Citekeyleino2017accessible

Where it appeared

Published inIEEE Software
PublisherIEEE Computer Society
Volume34
Issue6
Pages94--97

Identifiers

DOI10.1109/ms.2017.4121212
OpenAlexW2770103357

Access

Landing pagehttps://doi.org/10.1109/ms.2017.4121212

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

Formal software verification includes specifications, tools, and interactivity with the developer. By combining these key components into a programming language and a familiar programming environment with high automation, Dafny makes verification more easily accessible to programmers and students.

How it got here

How it got hereagent via openalex
Added2026-10-24 18:52 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

what-one-proves-with

Cite it as

@article{leino2017accessible,
  title        = {Accessible Software Verification with Dafny},
  author       = {K. Rustan M. Leino},
  year         = {2017},
  journal      = {IEEE Software},
  publisher    = {IEEE Computer Society},
  volume       = {34},
  number       = {6},
  pages        = {94--97},
  doi          = {10.1109/ms.2017.4121212},
}

This record lives at https://refs.drheap.org/leino2017accessible/ and will keep doing so.