dafny.md

[[up]](../README.md)

This section contains links to Dafny related material.

# Learning resources

* [Verification Corner](https://www.youtube.com/channel/UCP2eLEql4tROYmIYm5mA27A), tutorials by Rustan Leino.
* [Tutorial paper](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml220.pdf) by R.K.M. Leino.
* [Solutions](https://github.com/bor0/dafny-tutorial) to exercises in tutorial.

# Install

* [Dafny github repo](https://github.com/dafny-lang/dafny).
* [Dafny Wiki](https://github.com/dafny-lang/dafny/wiki).
* [VSCode](https://code.visualstudio.com), to use Dafny on MacOS and Linux.
* [Dafny-extension-for-VSCode](https://marketplace.visualstudio.com/items?itemName=correctnessLab.dafny-vscode).

# Related work using Dafny

* [IronClad](https://github.com/Microsoft/Ironclad/tree/master/ironfleet) git repository
* [Ironfleet](https://cacm.acm.org/magazines/2017/7/218876-ironfleet/abstract.)
    : Proving Safety and Liveness of Practical Distributed Systems, CACM paper, 2017

[[up]](../README.md)