Статический анализ кода

Все поджанры

• По популярности
• По дате поступления
• По авторам

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

ОтложитьЧитал

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

ОтложитьЧитал

Статическое обнаружение гонок в коде, содержащем ветвления и циклы