Prototype of a Verified Program Code Execution System. - A. V. Kozachok; E. V. Kochetkov (Program. Comput. Softw., 2018)