Data Base Module Verification - A Certification Method for Data Secure Systems.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1975
- Accession Number
- ADA014614
Entities
People
- William A. Horger Jr
Organizations
- Ohio State University