Specification and verification of object-oriented software components

Thumbnail
Download Url(s)
https://www.ksp.kit.edu/3866440421
Author(s)
Roth, Andreas
Language
German
Show full item record
Abstract
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.
URI
https://directory.doabooks.org/handle/20.500.12854/59814
Keywords
proof obligations; encapsulation; components; context specification; deductive verification; modular proofs; formal specification; object-orientation
DOI
10.5445/KSP/1000004542
ISBN
3866440421
Publisher
KIT Scientific Publishing
Publisher website
http://www.ksp.kit.edu/
Publication date and place
2006
Classification
Computer science
Pages
XVIII, 248 p.
Review type
Full text
Anonymity
All identities known
Reviewer type
Internal editor; External peer reviewer
Review stage
Pre-publication
Open review
No
Publish responsibility
Scientific or Editorial Board
Rights
https://creativecommons.org/licenses/by-nc-nd/4.0/
https://creativecommons.org/licenses/by-nc-nd/4.0/
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0/