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