• Specification and verification...

Treffer: Specification and verification of object-oriented software components

Title:
Specification and verification of object-oriented software components
Authors:
Roth, Andreas
Contributors:
Schmitt, P. H.
Publisher Information:
KIT Scientific Publishing, Karlsruhe
Publication Year:
2006
Collection:
KITopen (Karlsruhe Institute of Technologie)
Subject Terms:
formal specification, deductive verification, object-orientation, components, encapsulation, context specification, proof obligations, modular proofs, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004
Document Type:
Dissertation doctoral or postdoctoral thesis
File Description:
application/pdf
Language:
German
English
Relation:
info:eu-repo/semantics/altIdentifier/isbn/3-86644-042-1; https://publikationen.bibliothek.kit.edu/1000004542; https://publikationen.bibliothek.kit.edu/1000004542/1596; https://doi.org/10.5445/KSP/1000004542
DOI:
10.5445/KSP/1000004542
Availability:
https://publikationen.bibliothek.kit.edu/1000004542
https://publikationen.bibliothek.kit.edu/1000004542/1596
https://doi.org/10.5445/KSP/1000004542
http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0072-45428
Rights:
https://creativecommons.org/licenses/by-nc-nd/2.0/de/ ; info:eu-repo/semantics/openAccess
Accession Number:
edsbas.85BA89B5
Database:
BASE

Weitere Informationen

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.