AN APPLICATION OF FORMAC TO THE COMPUTATION OF COVERAGE FUNCTIONS,

The Paper deals with a method of evaluating coverage functions, significantly different from existing methods in two respects First, the method uses a new set of damage functions that are on the one hand empirically realistic, and on the other hand are sufficiently mathematically tractable to allow fairly complicated integrals to be evaluated exactly. Second, the method is implemented on the computer by means of FORMAC, the IBM written symbolic mathematical compiler. This second aspect, which will be the primary concern of this Paper, is an interesting example of how FORMAC may be used when the application of a mathematical approach to an actual real world problem requires cumbersome and involved computations. Author