US7784035B2 - Method for the Static Analysis of Concurrent Multi-Threaded Software