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.

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Roth, Andreas (auth)
Aineistotyyppi: Elektroninen Kirjan osa
Julkaistu: KIT Scientific Publishing 2006
Aiheet:
Linkit:DOAB: download the publication
DOAB: description of the publication
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Saatavuus: 3rd Floor Main Library
Hyllypaikka: A1234.567
Nide 1 Saatavissa