Для цитирования:

Андрианов П.С., Мутилин В.С., Хорошилов А.В. Метод легковесного статического анализа для поиска состояний гонок. Труды Института системного программирования РАН. 2015;27(5):87-116. https://doi.org/10.15514/ISPRAS-2015-27(5)-6

For citation:

Andrianov P.S., Mutilin V.S., Khoroshilov A.V. Lightweight Static Analysis for Data Race Detection in Operating System Kernels. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(5):87-116. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(5)-6