Computer Science Technical Reports
CS at VT

Automated Theorem-proving and Program Verification: An Annotated Bibliography

Macock, Deborah Y. (1975) Automated Theorem-proving and Program Verification: An Annotated Bibliography. Technical Report CS75027-R, Computer Science, Virginia Tech.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
CS75027-R.pdf (2250452)


This bibliography contains a synopsis of each reference, taken from one of three sources: (1) the author's abstract; (2) the review of the reference in ACM Computing Reviews; (3) an abstract prepared locally. The third alternative was chosen only if the first two were unavailable. Each reference is identified by a number with prefix PV or A (program verification or automated theorem-proving) depending upon its contents, and the identification number is used for cross-referencing the entries. If a reference deals with both areas, it has two identification numbers. Also included is an author index, which is arranged alphabetically according to the first author's name if the source is co-authored. It is anticipated that this bibliography will be updated as research in the field progresses.

Item Type:Departmental Technical Report
Keywords:automated theorem-proving, program correctness, program verification, software reliability, software evaluation
Subjects:Computer Science > Historical Collection(Till Dec 2001)
ID Code:805
Deposited By:Administrator, Eprints
Deposited On:27 April 2006