Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397
Issue N7 2011 year
There are various methodologies analyzing multithreaded algorithms. The article contains description and substantiation of the new approach to the problem of searching data-races in multithreaded programs. Suggested approach is basing on the static code analysis including analysis of some extra auxiliary constructions and also includes little computational part.