Explore
Specification and verification of object-oriented software components
Andreas Roth
2006
0 Ungluers have
Faved this Work
Login to Fave
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.
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 38 times via unglue.it ebook links.
- 38 - pdf (CC BY-NC-ND) at Unglue.it.
Keywords
- components
- context specification
- deductive verification
- Encapsulation
- formal specification
- Formale Spezifikationstechnik
- Komponente <Software>
- Korrektheit
- modular proofs
- object-orientation
- Objektorientierte Programmiersprache
- Programmverifikation
- proof obligations
Links
DOI: 10.5445/KSP/1000004542Editions