Explore
Verification-based Software-fault Detection
0 Ungluers have
Faved this Work
Login to Fave
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.
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 44 times via unglue.it ebook links.
- 44 - pdf (CC BY-NC-ND) at Unglue.it.
Keywords
- Dynamic Logic
- fault detection
- Model Generation
- Test Generation
- theorem proving
Links
DOI: 10.5445/KSP/1000023002Editions