Лаборатория верификации и анализа программ

Kotoed (KOTlin Online EDucation) — это система помощи при обучении разработке ПО, созданная в Политехническом университете.

Основная цель данного проекта — предоставить преподавателю и студенту возможность автоматизировать большую часть типичных действий, необходимых при обучении программированию:

• создание/управление проектами;
• проверка заданий при помощи модульного и/или случайного тестирования;
• поиск плагиата;
• проверка стиля кодирования;
• обзор кода;
• ...