TY  - GEN
AU  - Roth,Andreas
TI  - Specification and verification of object-oriented software components
SN  - KSP/1000004542
PY  - 2006///
PB  - KIT Scientific Publishing
KW  - proof obligations
KW  - encapsulation
KW  - components
KW  - context specification
KW  - deductive verification
KW  - modular proofs
KW  - formal specification
KW  - object-orientation
N1  - Open Access
N2  - 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
UR  - https://www.ksp.kit.edu/3866440421
UR  - https://directory.doabooks.org/handle/20.500.12854/59814
ER  -