Data Base Module Verification - A Certification Method for Data Secure Systems.
OHIO STATE UNIV COLUMBUS COMPUTER AND INFORMATION SCIENCE RESEARCH CENTER
Pagination or Media Count:
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.
- Computer Programming and Software