Specification and verification of object-oriented software components

By: Material type: ArticleArticleLanguage: German Publication details: KIT Scientific Publishing 2006Description: 1 electronic resource (XVIII, 248 p. p.)ISBN:
  • KSP/1000004542
  • 3866440421
Subject(s): Online resources: Summary: 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.
Item type:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Open Access star Unrestricted online access

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.

Creative Commons https://creativecommons.org/licenses/by-nc-nd/4.0/ cc https://creativecommons.org/licenses/by-nc-nd/4.0/

German

There are no comments on this title.

to post a comment.
Share