Accession Number:

ADA083611

Title:

Reliable Software through Very High-Level Verification.

Descriptive Note:

Interim rept.,

Corporate Author:

VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1980-02-15

Pagination or Media Count:

17.0

Abstract:

A substantial body of software to be used for the research was in operation on a DEC-10 and this software was transported to the Virginia Tech VMCMS system. Significant difficulties were encountered in bringing this software into satisfactory operation in this environment.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE