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.
