Accession Number:

ADA232147

Title:

Which Theorem Prover? A Survey of Four Theorem Provers

Descriptive Note:

Memorandum rept.

Corporate Author:

ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)

Personal Author(s):

Report Date:

1990-10-01

Pagination or Media Count:

42.0

Abstract:

When using Formal Methods to produce verified software, mathematical theorems arise which need to be proved. This memorandum contains the experience gained in using four theorem provers to prove such theorems. From this experience, a number of recommendations are made on what constitutes a good theorem prover. Author

Subject Categories:

  • Theoretical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE