Reports

 

Anomaly Detection in Concurrent Programs ; CU-CS-147-79 Public Deposited

Downloadable Content

Download PDF
https://scholar.colorado.edu/concern/reports/cn69m497k
Abstract
  • An approach to the analysis of concurrent 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 overviews of algorithms for detecting data-usage and synchronization anomalies and discuss how this technique may be integrated within a general software development support system.
Creator
Date Issued
  • 1979-01-01
Academic Affiliation
Last Modified
  • 2019-12-21
Resource Type
Rights Statement
Language

Relationships

Items