Static verification of data races in openMP - Silva, Kátya Thaís Martins da (2014)