Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement - Softcover

Ulbrich, Mattias

 
9783844297034: Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Softcover
ISBN 10: 3844297030 ISBN 13: 9783844297034
Verlag: epubli GmbH, 2014

Inhaltsangabe

This book is about ensuring that software behaves as it is supposed to behave. More precisely, it is concerned with the deductive verification of the compliance of software implementations with their formal specification. Two successful ideas in program verification are integrated into a new approach which combines the advantages of both: Dynamic logic is brought together with verification on an intermediate verification language. Program verification combines the difficulties of two tasks in one: the difficulty of verifying algorithms and the problems of verification on implementation level. We propose a methodology to decompose this difficult task into two easier tasks using the well-established technique of refinement.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Dieses Buch entstand im Rahmen meiner Dissertation am Karlsruher Institut für Technologie.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
epubli GmbH
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
3844297030
ISBN 13 
9783844297034
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
268
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Zeitfracht Medien GmbH
info-medien@zeitfracht.de

Ferdinand-Jühlke-Straße 7
Erfurt
99095
Deutschland