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

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

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

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