Specification and verification of object-oriented software components

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.

Bibliographic Details
Other Authors: Roth, Andreas, author (author)
Format: eBook
Language:Inglés
Published: [Place of publication not identified] : KIT Scientific Publishing 2006.
Subjects:
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009746229306719
Description
Summary: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.
Physical Description:1 online resource (268 pages)