KIT Scientific Publishing

Im Shop suchen

44,90 €

inkl. 7 % USt. exkl. Versandkosten

Andreas Roth

Specification and verification of object-oriented software components

AutorRoth, Andreas

VerlagUniversitätsverlag Karlsruhe, Karlsruhe

ISBN3866440421

Veröffentlicht
am:
12.06.2006

Erscheinungs-
jahr
2006

VerfügbarkeitAktiv

Downloads:

Für Zitate bitte die folgende URL verwenden:
http://dx.doi.org/10.5445/KSP/1000004542

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.