Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.

Shuvendu K. Lahiri Shaz Qadeer Zvonimir Rakamaric

Published in: CAV (2009)

Keyphrases

detection method
expert systems
intelligent systems
error detection
open source
management system
computer systems
false positives
complex systems
automatic detection
language model
distributed systems
data management
detection algorithm
database systems
detection accuracy
neural network