👤 Н. В. Заборовский

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки Н. В. Заборовский
Статическое обнаружение гонок в коде, содержащем ветвления и циклы Н. В. Заборовский