Wprowadzenie do weryfikacji oprogramowania za pomocą języka Dafny: Dowodzenie poprawności programu

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Introducing Software Verification with Dafny Language: Proving Program Correctness

Zawartość książki:

Zapoznaj się z weryfikacją oprogramowania i dowodzeniem poprawności przy użyciu wspieranego przez Microsoft Research języka programowania Dafny. Podczas gdy niektóre inne książki na ten temat są dość rygorystyczne matematycznie, ta książka będzie używać jak najmniej symboli matematycznych i rygoru, a także wyjaśniać każdą koncepcję za pomocą prostego języka angielskiego. Jest to idealny elementarz dla programistów i deweloperów z umiejętnościami C# i innych języków programowania.

Pisanie poprawnego oprogramowania może być trudne, więc poznasz koncepcję obliczeń i weryfikacji oprogramowania. Następnie zastosuj te koncepcje i techniki, aby pewnie pisać kod wolny od błędów, który jest łatwy do zrozumienia. Kod źródłowy będzie dostępny w całej książce i swobodnie dostępny za pośrednictwem GitHub.

Po przeczytaniu i skorzystaniu z tej książki będziesz w stanie napisać poprawny, duży, darmowy kod źródłowy oprogramowania, mający zastosowanie bez względu na platformę i język programowania, którego używasz.

Czego się nauczysz

⬤ Odkryj wspierany przez Microsoft Research język programowania Dafny.

⬤ Poznasz logikę Hoare'a, programy imperatywne i funkcyjne.

⬤ Pracować z warunkami wstępnymi i końcowymi.

⬤ Używać typów danych, dopasowywania wzorców i klas.

⬤ Zanurz się w przykładach weryfikacji do potencjalnego ponownego wykorzystania we własnych projektach.

Dla kogo jest ta książka

Twórcy oprogramowania i programiści z co najmniej podstawowym doświadczeniem w programowaniu. Nie jest wymagany żaden konkretny język. Jest również przeznaczony dla osób z bardzo podstawowym doświadczeniem matematycznym (funkcje, zmienne).