Verification or Program Analysis Lab

Kotoed (KOTlin Online EDucation) is an information system designed for software development education at Polytechnic University.

The goal of the project is to automate most of the work teaching assistants have to do when working with students on a regular software development course:

• project submission/safekeeping;
• submission evaluation via unit testing and/or random testing;
• plagiarism detection;
• code style checking;
• code reviews;
• ...