https://github.com/bor0/dafny-tutorial
Exercises for the Dafny Tutorial
https://github.com/bor0/dafny-tutorial
dafny exercises formal-verification
Last synced: about 1 year ago
JSON representation
Exercises for the Dafny Tutorial
- Host: GitHub
- URL: https://github.com/bor0/dafny-tutorial
- Owner: bor0
- Created: 2018-05-13T17:44:07.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2018-05-21T11:52:55.000Z (about 8 years ago)
- Last Synced: 2025-03-24T21:22:26.078Z (about 1 year ago)
- Topics: dafny, exercises, formal-verification
- Language: PHP
- Homepage:
- Size: 8.79 KB
- Stars: 11
- Watchers: 2
- Forks: 8
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Dafny
=====
[Dafny](https://rise4fun.com/dafny) is an imperative compiled language that supports formal specification through preconditions, postconditions, loop invariants and loop variants.
In this repository you will find my exercises for [Dafny's tutorial](https://rise4fun.com/Dafny/tutorial/guide) (PDF [here](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml220.pdf)).
Boro Sitnikovski
2018