Kechiktirilganlar
Savat
Mening kitoblarim
Kirish
Статическое обнаружение гонок в коде, содержащем ветвления и циклы
Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки