Reuse of proofs in software verification (1993)
Cached
Download Links
- [www.informatik.uni-augsburg.de]
- [www.informatik.uni-freiburg.de]
- [ftp.informatik.uni-ulm.de]
- DBLP
Other Repositories/Bibliography
| Venue: | Foundations of Software Technology and Theoretical Computer Science |
| Citations: | 18 - 6 self |
BibTeX
@INPROCEEDINGS{Reif93reuseof,
author = {Wolfgang Reif and Kurt Stenzel},
title = {Reuse of proofs in software verification},
booktitle = {Foundations of Software Technology and Theoretical Computer Science},
year = {1993},
pages = {284--293},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents a method for automated reuse of proofs in software verication. Proofs about programs as well as proof attempts are used to guide the verification of modified programs, particularly of program corrections. We illustrate the phenomenon of reusability, present an evolutionary verification process model and discuss theoretical and technical aspects. Finally, we report on case studies with an implementation of this method in the Karlsruhe Interactive Verifier (KIV).
