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.

Detalhes bibliográficos

Autor principal:	Roth, Andreas
Formato:	Online
Idioma:	alemão
Publicado em:	KIT Scientific Publishing 2021
Assuntos:	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
Acesso em linha:	34687
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!