Code examples

For your convenience, you can download the example code from the book:

• example code in Dafny

The book uses Dafny throughout, but the concepts are applicable in any verification setting. In fact, many of the book’s examples are available in other languages as well:

• example code in Why3
• example code in Viper, Prusti (Rust), and Gobra (Go)