Chapter
Some theorems we should prove
Abstract
Mathematical techniques can be used to produce precise, provably complete documentation for computer systems. However, such documents are highly detailed; oversights and other errors arc quite common. To detect the “early” errors in a document, one must attempt to prove certain simple theorems. This paper gives some examples of such theorems.
Authors
Parnas DL
Book title
Higher Order Logic Theorem Proving and Its Applications
Series
Lecture Notes in Computer Science
Volume
780
Pagination
pp. 155-162
Publisher
Springer Nature
Publication Date
1994
DOI
10.1007/3-540-57826-9_132