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

Book Description

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 . This work presents an approach for deductively verifying -by-contract specifications of object-oriented programs. The approach is based on , and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.

Book Details

  • Title: Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
  • Author:
  • Length: 292 pages
  • Edition: 1
  • Language: English
  • Publisher:
  • Publication Date: 2011-02-25
  • ISBN-10: 3866446233
  • ISBN-13: 9783866446236