Accession Number:

ADA218260

Title:

Porting M-EVES to Common Lisp

Descriptive Note:

Final rept.

Corporate Author:

SHARP (I P) ASSOCIATES LTD OTTAWA (ONTARIO)

Report Date:

1989-03-31

Pagination or Media Count:

17.0

Abstract:

This final report summarizes the work completed for the project entitled Porting m-EVES to Common Lisp. Section 2 places the contracted work within the context of the m-EVES project. Section 3 outlines the project, the statement of work, and amendments to the initial contract. The approach used to meet the contractual obligations are summarized in Section 4. The difficulties encountered during the project are discussed in Section 5. Section 6 lists the documents and software delivered at the termination of the project. The final section summarizes the results of this project. The daily log, documenting the porting of m-EVES to Common Lisp, is appended to this report. Keywords Computer program verification, Canada. KR

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE