Introducing Software Verification with Dafny Language

Proving Program Correctness

Auteurs

• Boro Sitnikovski

Paramètres

• 152 pages
• 6 heures de lecture

• Informatique, programmation

En savoir plus sur le livre

The book offers an accessible introduction to software verification and correctness proof using Dafny, a programming language supported by Microsoft Research. Unlike other texts that are heavily mathematical, it emphasizes clear explanations in plain English, making it suitable for programmers and developers familiar with C# and similar languages. This approach aims to demystify complex concepts, providing a practical foundation for those looking to enhance their understanding of software correctness.

Achat du livre

• Année de publication: 2022
• Reliure: (souple)