Anomaly Detection in Concurrent Software by Static Data Flow Analysis

DOI10.1109/TSE.1980.234488MaRDI QIDQ3868742zbMATH OpenWikidataFDO

Authors Richard N. Taylor, Leon J. Osterweil

Publication date 1980

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1980.234488

zbMATH Keywords

concurrent process programsconcurrent softwaredata flow analysiserror detectionprocess synchronization errors

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited in

(1)

• The Birth of Model Checking

This page was built for publication: Anomaly Detection in Concurrent Software by Static Data Flow Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3868742)