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

РУДЕНЧИК В.П., АНДРИАНОВ П.С., МУТИЛИН В.С. Ограничение количества переключений потоков при динамическом анализе многопоточных программ. Труды Института системного программирования РАН. 2025;37(6):133-148. https://doi.org/10.15514/ISPRAS-2025-37(6)-41

For citation:

RUDENCHIK V.P., ANDRIANOV P.S., MUTILIN V.S. Bounding Thread Switches in Dynamic Analysis of Multithreaded Programs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(6):133-148. https://doi.org/10.15514/ISPRAS-2025-37(6)-41