Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis. Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discrete Event Dynamic Systems, 23(2):157-195, 2013. [doi]

Abstract

Abstract is missing.