For citations:

Andrianov P.S., Mutilin V.S., Khoroshilov A.V. Adjustable method with predicate abstraction for detection of race conditions in operating systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(6):65-86. (In Russ.) https://doi.org/10.15514/ISPRAS-2016-28(6)-5