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.

Dades bibliogràfiques

Autor principal:	Roth, Andreas
Format:	Online
Idioma:	alemany
Publicat:	KIT Scientific Publishing 2021
Matèries:	QA75.5-76.95 proof obligations encapsulation components context specification deductive verification modular proofs formal specification object-orientation bic Book Industry Communication::U Computing & information technology::UY Computer science
Accés en línia:	34687
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!