Overview
- A unique, first to market book on software verification using the Dafny programming language
- Apply the concepts and techniques to write bug-free code
- Also unique in the way it gives you this knowledge without all the mathematical details and rigor
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
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.
What You Will Learn
- Discover the Microsoft Research-backed Dafny programming language
- Explore Hoare logic, imperative and functional programs
- Work with pre- and post-conditions
- Use data types, pattern matching, and classes
- Dive into verification examples for potential re-use for your own projects
Who This Book Is For
Software developers and programmers with at least prior, basic programming experience. No specific language needed. It is also for those with very basic mathematical experience (function, variables).
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Introducing Software Verification with Dafny Language
Book Subtitle: Proving Program Correctness
Authors: Boro Sitnikovski
DOI: https://doi.org/10.1007/978-1-4842-7978-6
Publisher: Apress Berkeley, CA
eBook Packages: Professional and Applied Computing, Apress Access Books, Professional and Applied Computing (R0)
Copyright Information: Boro Sitnikovski 2022
Softcover ISBN: 978-1-4842-7977-9Published: 01 March 2022
eBook ISBN: 978-1-4842-7978-6Published: 28 February 2022
Edition Number: 1
Number of Pages: XX, 131
Number of Illustrations: 104 b/w illustrations
Topics: Professional Computing, Microsoft and .NET, Computer Science, general