An on-line solution verification system for programming competitions

An application of an on-line solution verification system for programming competitions is considered in the paper. The system has been developed at in National Research Irkutsk State Technical University and used within the competition events. It has client-server architecture and has been implemented on the base of a cluster using parallel schemes of verification algorithms. The system supports several programming languages, such as C++, Pascal, Java. The verification algorithm can also be used to check the results of laboratory works of "Programming" disciplines. The system allows teacher to automate routine activities of students\´ algorithms correctness verification.