Introducing Software Verification with Dafny Language: Demonstrarea corectitudinii programului

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Introducing Software Verification with Dafny Language: Proving Program Correctness

Conținutul cărții:

Faceți cunoștință cu verificarea software-ului și demonstrarea corectitudinii folosind limbajul de programare Dafny, susținut de Microsoft Research. În timp ce alte cărți pe această temă sunt destul de riguroase din punct de vedere matematic, această carte va folosi cât mai puține simboluri și rigori matematice și va explica fiecare concept folosind o limbă simplă. Este abecedarul perfect pentru programatorii și dezvoltatorii de software cu cunoștințe de C# și alte limbaje de programare.

Scrierea de software corect poate fi dificilă, așa că veți învăța conceptul de calcul și de verificare software. Apoi, aplicați aceste concepte și tehnici pentru a scrie cu încredere cod fără erori care este ușor de înțeles. Codul sursă va fi disponibil pe parcursul cărții și va fi disponibil gratuit prin GitHub.

După ce citiți și folosiți această carte, veți putea scrie un cod sursă software corect, mare și gratuit, aplicabil indiferent de platforma și limbajul de programare pe care le utilizați.

Ce veți învăța

⬤ Descoperiți limbajul de programare Dafny, susținut de Microsoft Research.

⬤ Explorați logica Hoare, programele imperative și funcționale.

⬤ Lucrați cu precondiții și post-condiții.

⬤ Utilizați tipurile de date, potrivirea modelelor și clasele.

⬤ Să vă scufundați în exemple de verificare pentru o potențială reutilizare în propriile proiecte.

Pentru cine este această carte

Programatori și dezvoltatori de software cu cel puțin o experiență anterioară de bază în programare. Nu este necesar un limbaj specific. Este, de asemenea, pentru cei cu experiență matematică de bază (funcții, variabile).