Sitnikovski B. Introducing Software Verification...Dafny...2022

Textbook in PDF format

Get introduced to software verification and proving correctness using
the Microsoft Research-backed programming language, Dafny. While some
other books on this topic are quite mathematically rigorous, this book
will use as little mathematical symbols and rigor as possible, and
explain every concept using plain English. It's the perfect primer for
software programmers and developers with C#, Java, JavaScript or Go (more to come!), so it can integrate with your existing workflow.
Writing correct software can be hard, so you'll
learn the concept of computation and software verification. Then, apply
these concepts and techniques to confidently write bug-free code that is
easy to understand. Source code will be available throughout the book
and freely available via GitHub.
After reading and using this book
you'll be able write correct, big free software source code applicable
no matter which platform and programming language you use