Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Anomaly Detection in Concurrent Software by Static Data Flow Analysis - MaRDI portal

Anomaly Detection in Concurrent Software by Static Data Flow Analysis

From MaRDI portal

Publication:3868742

Jump to:navigation, search

DOI10.1109/TSE.1980.234488zbMath0431.68029WikidataQ111898416 ScholiaQ111898416MaRDI QIDQ3868742

Richard N. Taylor, Leon J. Osterweil

Publication date: 1980

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

zbMATH Keywords

error detection data flow analysis concurrent software concurrent process programs process synchronization errors

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (1)

The Birth of Model Checking

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3868742&oldid=17489109"