 |
| | | | | Beschreibung | | Programmverifikation ist ein systematischer Ansatz zum Nachweis der Fehlerfreiheit von Programmen. Dabei wird bewiesen, daß ein Programm bestimmte wünschenswerte Eigenschaften besitzt. Dieses Buch gibt eine mit vielen Beispielen illustrierte Einführung in die Methodik der Verifikation von Programmen. Es behandelt dabei verschiedene Programmklassen, ausgehend von einfachen While-Programmen bis hin zu nichtdeterministischen und verteilten Programmen.
[K.R. Apt, E.-R. Olderog: Programmverifikation, Springer-Verlag, 1994, 258 S., ISBN 3-540-57479-4 ] | | | Autoren | | Krzysztof R. Apt
Ernst-Rüdiger Olderog
| | | Publikationstyp | | | Buch | | | Verlag | | | Springer Verlag | |
| | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | | | | | Programmverifikation | | | | |  | Erläutert Technologien | | | | | | | | | | | | Erklärt Glossareinträge | | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
