A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Developing verified programs with Dafny
2012
Proceedings of the 2012 ACM conference on High integrity language technology - HILT '12
Preserved Fulltext
Dafny is a programming language and program verifier. The language includes specification constructs and the verifier checks that the program lives up to its specifications. These tutorial notes give some Dafny programs used as examples in the tutorial.
doi:10.1145/2402676.2402682
dblp:conf/sigada/Leino12
fatcat:wxbefuts2rdl5fvj3xhdinc2p4