Paqui Lucio

A Tutorial on Using Dafny to Construct Verified Software

2017 · Electronic Proceedings in Theoretical Computer Science

This paper is a tutorial for newcomers to the field of automated verification tools, though we assume the reader to be relatively familiar with Hoare-style verification. In this paper, besides introducing the most basic features …