Форумы ЛВК

Отчет о работе за семестр
Студент : Сахаров Федор
Научные руководители : Д.Ю. Гамаюнов, С.О. Беззубцев

Тема работы:
Автоматизация разметки исполнимого кода программы контрольными точками для точного разделения пространства её состояний со стороны ядра ОС.

В рамках работы должны быть решены ...