Qed at Large: Ein Überblick über die Entwicklung formal geprüfter Software

Qed at Large: Ein Überblick über die Entwicklung formal geprüfter Software (Talia Ringer)

Originaltitel:

Qed at Large: A Survey of Engineering of Formally Verified Software

Inhalt des Buches:

Die Entwicklung von formalen Beweisen für die Korrektheit von Programmen kann die tatsächliche und wahrgenommene Zuverlässigkeit erhöhen und ein besseres Verständnis der Programmspezifikationen und der ihnen zugrunde liegenden Annahmen ermöglichen. Werkzeuge, die eine solche Entwicklung unterstützen, sind seit über 40 Jahren verfügbar, werden aber erst seit kurzem in großem Umfang praktisch genutzt.

Projekte, die auf der Konstruktion von maschinell überprüften formalen Beweisen basieren, erreichen nun eine nie dagewesene Größenordnung, vergleichbar mit großen Softwareprojekten, was zu neuen Herausforderungen bei der Entwicklung und Wartung von Beweisen führt. Trotz seiner zunehmenden Bedeutung wird das Gebiet des Proof Engineering nur selten als eigenständiges Gebiet betrachtet; verwandte Theorien, Techniken und Werkzeuge sind in vielen Bereichen und an vielen Orten vertreten. QED at Large deckt den zeitlichen Ablauf und die Forschungsliteratur in Bezug auf die Entwicklung von Beweisen zur Programmverifikation ab, einschließlich Theorien, Sprachen und Werkzeuge.

Es werden die Herausforderungen und Durchbrüche in jeder Phase der Geschichte hervorgehoben und es wird auf die Herausforderungen hingewiesen, die derzeit aufgrund des zunehmenden Umfangs der Beweisentwicklung bestehen. Diese Monographie richtet sich an Forscher und Studenten, die neu auf diesem Gebiet sind.

Sie bietet dem Leser einen aufschlussreichen Überblick über die Arbeit, die zu den heutigen Techniken zur formalen Verifizierung von Software geführt hat. In Zeiten zunehmender Automatisierung ist dies die Grundlage vieler Softwaresysteme, so dass auch künftige Trends aufgezeigt werden.

Weitere Daten des Buches:

ISBN:9781680835946
Autor:
Verlag:
Einband:Taschenbuch
Erscheinungsjahr:2019
Seitenzahl:194

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Qed at Large: Ein Überblick über die Entwicklung formal geprüfter Software - Qed at Large: A Survey...
Die Entwicklung von formalen Beweisen für die...
Qed at Large: Ein Überblick über die Entwicklung formal geprüfter Software - Qed at Large: A Survey of Engineering of Formally Verified Software

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)