Specification and verification of object-oriented software components
Overview & Synopsis
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.
Indexed from repository: Directory of Open Access Books
(
www.doabooks.org)
Document Information
| Document Title | Specification and verification of object-oriented software components |
|---|---|
| Author / Organization | Roth, Andreas |
| Subject & Discipline | QA75.5-76.95 |
| Categories | Open Access Books |
| Publication Year | 2021 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
Directory of Open Access Books
(www.doabooks.org)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-105517 |
| Original Source Link | Visit Source Page on www.doabooks.org » |