Cover Image

Specification and verification of object-oriented software components

This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.

Saved in:
Bibliographic Details
Main Author: Roth, Andreas (auth)
Format: Electronic Book Chapter
Published: KIT Scientific Publishing 2006
Subjects:
proof obligations
encapsulation
components
context specification
deductive verification
modular proofs
formal specification
object-orientation
Online Access:DOAB: download the publication
DOAB: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Holdings details from 3rd Floor Main Library
Call Number: A1234.567
Copy 1 Available

Similar Items