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