Einführung in die Software-Verifikation mit der Sprache Dafny: Nachweis der Programmkorrektheit

Bewertung:   (1,0 von 5)

Einführung in die Software-Verifikation mit der Sprache Dafny: Nachweis der Programmkorrektheit (Boro Sitnikovski)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.

Originaltitel:

Introducing Software Verification with Dafny Language: Proving Program Correctness

Inhalt des Buches:

Sie erhalten eine Einführung in die Softwareverifikation und den Korrektheitsnachweis mit der von Microsoft Research unterstützten Programmiersprache Dafny. Während einige andere Bücher zu diesem Thema recht mathematisch rigoros sind, verwendet dieses Buch so wenig mathematische Symbole und Strenge wie möglich und erklärt jedes Konzept in einfachem Englisch. Es ist der perfekte Einstieg für Softwareprogrammierer und -entwickler mit Kenntnissen in C# und anderen Programmiersprachen.

Das Schreiben korrekter Software kann schwierig sein, daher lernen Sie das Konzept der Berechnung und der Softwareüberprüfung kennen. Anschließend wenden Sie diese Konzepte und Techniken an, um sicher fehlerfreien und leicht verständlichen Code zu schreiben. Der Quellcode ist während des gesamten Buches verfügbar und über GitHub frei verfügbar.

Nach dem Lesen und Anwenden dieses Buches werden Sie in der Lage sein, korrekten, großen freien Software-Quellcode zu schreiben, der unabhängig von der Plattform und der Programmiersprache, die Sie verwenden, anwendbar ist.

(Was Sie lernen werden)

⬤ Entdecken Sie die von Microsoft Research unterstützte Programmiersprache Dafny.

⬤ Hoare-Logik, imperative und funktionale Programme erforschen.

⬤ Arbeiten Sie mit Vor- und Nachbedingungen.

⬤ Verwenden Sie Datentypen, Mustervergleiche und Klassen.

⬤ Tauchen Sie in Verifikationsbeispiele ein, die Sie für Ihre eigenen Projekte wiederverwenden können.

Für wen ist dieses Buch gedacht?

Softwareentwickler und Programmierer, die zumindest über grundlegende Programmiererfahrung verfügen. Keine spezielle Sprache erforderlich. Es ist auch für diejenigen mit sehr grundlegenden mathematischen Erfahrungen (Funktionen, Variablen) geeignet.

Weitere Daten des Buches:

ISBN:9781484279779
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch
Erscheinungsjahr:2022
Seitenzahl:131

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Einführung in Blockchain mit LISP: Implementieren und Erweitern von Blockchains mit der...
Implementieren Sie eine Blockchain von Grund auf und gehen Sie...
Einführung in Blockchain mit LISP: Implementieren und Erweitern von Blockchains mit der Racket-Sprache - Introducing Blockchain with LISP: Implement and Extend Blockchains with the Racket Language
Einführung in die Software-Verifikation mit der Sprache Dafny: Nachweis der Programmkorrektheit -...
Sie erhalten eine Einführung in die...
Einführung in die Software-Verifikation mit der Sprache Dafny: Nachweis der Programmkorrektheit - Introducing Software Verification with Dafny Language: Proving Program Correctness
Einführung in abhängige Typen mit Idris: Programmbeweise in Typen kodieren - Introduction to...
Abhängige Typen sind ein Konzept, das es Entwicklern...
Einführung in abhängige Typen mit Idris: Programmbeweise in Typen kodieren - Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)