Specification and verification of object-oriented software components
Roth, Andreas
Specification and verification of object-oriented software components - KIT Scientific Publishing 2006 - 1 electronic resource (XVIII, 248 p. p.)
Open 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
German
KSP/1000004542 3866440421
10.5445/KSP/1000004542 doi
proof obligations encapsulation components context specification deductive verification modular proofs formal specification object-orientation
Specification and verification of object-oriented software components - KIT Scientific Publishing 2006 - 1 electronic resource (XVIII, 248 p. p.)
Open 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
German
KSP/1000004542 3866440421
10.5445/KSP/1000004542 doi
proof obligations encapsulation components context specification deductive verification modular proofs formal specification object-orientation