Accession Number:

ADA014614

Title:

Data Base Module Verification - A Certification Method for Data Secure Systems.

Descriptive Note:

Technical rept.,

Corporate Author:

OHIO STATE UNIV COLUMBUS COMPUTER AND INFORMATION SCIENCE RESEARCH CENTER

Personal Author(s):

Report Date:

1975-06-01

Pagination or Media Count:

135.0

Abstract:

This paper is concerned with the verification of programs operating on complex data structures. The verification technique used is the inductive assertion method. Until now, program verification by inductive assertion as applied to complex data structures has been minimal. In this paper, the author is concerned with the verification of programs operating on a complex data structure, called the generalized file organization. This work forms a base for further investigation into the certification of programs operating in a data secure environment. As part of this investigation, the author introduces additional complex data structures that will be manipulated by the programs. These additional data structures are defined and examples of their use are given so that no further definitional work on the structures will be necessary.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE