An approach to the analysis of HAL/S software is discussed. The approach, called anomaly detection, involves the algorithmic derivation of information concerning potential errors and the subsequent, possibly non-algorithmic determination of whether or not the reported anomalies are actual errors. We give detailed designs for algorithms for detecting data-usage and synchronization anomalies and discuss how this technique may be integrated within a general software development support system.
Bristow; Drey, Carol; Edwards, Bryan; and Riddle, William E., "Design of a System for Anomaly Detection in HAL/S Programs ; CU-CS-151-79" (1979). Computer Science Technical Reports. 149.