Some Theorems We Should Prove

@inproceedings{Parnas1993SomeTW,
  title={Some Theorems We Should Prove},
  author={David Lorge Parnas},
  booktitle={HUG},
  year={1993}
}
Mathematical techniques can be used to produce precise, provably complete documentation for computer systems. However, such documents are highly detailed and oversights and other errors are 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. 
Highly Cited
This paper has 31 citations. REVIEW CITATIONS