A Formal Model for Verification of Abstract Properties
Description:
This report is given a specification "s" that states the requirements of a problem in terms of data dependencies. There are also given some assumptions about the input domain and to define a formal model that can be used to verify that a program written according to the specification "s" does indeed have the data dependencies specified by "s."
Date:
April 1992
Creator:
Winter, Victor L.; Chisholm, G. H.; Smith, Brian Thomas & Wojcik, Anthony J.
Item Type:
Refine your search to only
Report
Partner:
UNT Libraries Government Documents Department