Обнаружение тупиков на мьютексах в многопоточных приложениях
11
Крищенко Всеволод Александрович
родился в 1975 г., окончил магистратуру
МГТУ им Н.Э. Баумана в 1998 г. Канд. техн. наук, доцент кафедры «Про-
граммное обеспечение ЭВМ и информационные технологии». Автор более 15
научных трудов, научные интересы - статический и динамический анализ и
верификации программного обеспечения и сетевых протоколов. e-mail:
Рязанова Наталья Юрьевна
родилась в 1951 г. Канд. техн. наук, доцент кафедры
«Программное обеспечение ЭВМ и информационные технологии» МГТУ им. Н.Э.
Баумана. Автор 36 печатных работ. Область научных интересов: разработка систем-
ного программного обеспечения, алгоритмы машинной графики. e-mail:
