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

Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric

Browse the full CAV paper archive.