Introducing Software Verification with Dafny Language: Proving Program Correctne

Description: Introducing Software Verification with Dafny Language by Boro Sitnikovski 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. Its the perfect primer for software programmers and developers with C# and other programming language skills.Writing correct software can be hard, so youll 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 youll be able write correct, big free software source code applicable no matter which platform and programming language you use. What You Will LearnDiscover the Microsoft Research-backed Dafny programming language Explore Hoare logic, imperative and functional programsWork with pre- and post-conditionsUse data types, pattern matching, and classesDive into verification examples for potential re-use for your own projectsWho This Book Is ForSoftware 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). FORMAT Paperback LANGUAGE English CONDITION Brand New Back Cover 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. Its the perfect primer for software programmers and developers with C# and other programming language skills. Writing correct software can be hard, so youll 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 youll be able write correct, big free software source code applicable no matter which platform and programming language you use. You will: 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 Author Biography Boro Sitnikovski has over ten years of experience working professionally as a software engineer. He started programming with assembly on an Intel x86 at the age of ten. While in high school, he won several prizes in competitive programming, varying from 4th, 3rd, and 1st place. He is an informatics graduate - his bachelors thesis was titled "Programming in Haskell using algebraic data structures", and his masters thesis was titled "Formal verification of Instruction Sets in Virtual Machines". He has also published a few papers on software verification. Other research interests of his include programming languages, mathematics, logic, algorithms, and writing correct software. He is a strong believer in the open-source philosophy and contributes to various open-source projects. In his spare time, he enjoys some time off with his family. Table of Contents Introduction: Languages and Systems.- Chapter 1: Our First Program.- Chapter 2: Logic.- Chapter 3: Computation.- Chapter 4: Mathematical Foundations.- Chapter 5: Proofs.- Chapter 6: Specifications.- Chapter 7: Mathematical Induction.- Chapter 8: Verification Exercises.- Chapter 9: Implementing a Formal System. Conclusion.- Bibliography.- Appendix A: Gödels Theorems. Feature 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 Details ISBN1484279778 Author Boro Sitnikovski Short Title Introducing Software Verification with Dafny Language Language English Year 2022 ISBN-10 1484279778 ISBN-13 9781484279779 Format Paperback Subtitle Proving Program Correctness Publisher APress Edition 1st Imprint APress Place of Publication Berkley Country of Publication United States Pages 131 Publication Date 2022-03-01 AU Release Date 2022-03-01 NZ Release Date 2022-03-01 US Release Date 2022-03-01 UK Release Date 2022-03-01 Illustrations 104 Illustrations, black and white; XX, 131 p. 104 illus. Edition Description 1st ed. DEWEY 005.1 Audience Professional & Vocational We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:137989574;

Price: 53.46 AUD

Location: Melbourne

End Time: 2024-11-30T05:06:06.000Z

Shipping Cost: 0 AUD