Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction - Softcover

Weiß, Benjamin

 
9783866446236: Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Softcover
ISBN 10: 3866446233 ISBN 13: 9783866446236
Verlag: KIT Scientific Publishing, 2011

Inhaltsangabe

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.

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

Reseña del editor

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.

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

Verlag
KIT Scientific Publishing
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
3866446233
ISBN 13 
9783866446236
Einband
Tapa blanda
Anzahl der Seiten
292
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar