Deductive verification of object-oriented software

Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction

by WEISS, BENJAMIN

Type Book
Rate 0.0 /5

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.

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction.

Summary

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.

Read More ↓

Edition Statements

  • Publication Date:2011

Publication Statements

  • Publisher(s):KIT Scientific Publishing
  • Place of Publication:Erscheinungsort nicht ermittelbar
  • Language:und
  • Publication Date:2011

The Physical Object

  • Description:1 Online-Ressource (1 electronic resource (xxi, 269 p. p.))

Edition Identifiers

  • ISBN:9783866446236, 3866446233
  • oclc:on1193077048
  • Dewey Decimal:005.14

Subjects

Electronic computers. Computer science

Writers

WEISS, BENJAMIN

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

No downloadable files are registered for this work yet.

Log in to request a copy