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.
Suchergebnisse für Dynamic Logic for an Intermediate Language: Verification,...
Foto des Verkäufers
Dynamic Logic for an Intermediate Language
Print-on-DemandAnbieter: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 268 pp. Englisch. Bestandsnummer des Verkäufers 9783844297034
Neu kaufen
EUR 38,00
EUR 23,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 20 verfügbar
Foto des Verkäufers
Dynamic Logic for an Intermediate Language
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 268 pp. Englisch. Bestandsnummer des Verkäufers 9783844297034
Neu kaufen
EUR 38,00
EUR 23,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Dynamic Logic for an Intermediate Language
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 268 pages. 9.45x6.69x0.63 inches. In Stock. Bestandsnummer des Verkäufers 3844297030
Neu kaufen
EUR 68,64
EUR 14,35 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Dynamic Logic for an Intermediate Language
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book explains how to prove programs correct using dynamic logic and refinement.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 softw. Bestandsnummer des Verkäufers 385630587
Neu kaufen
EUR 38,00
EUR 48,99 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Dynamic Logic for an Intermediate Language : Verification, Interaction and Refinement
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783844297034
Neu kaufen
EUR 38,00
EUR 62,29 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar