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.