Game-theoretic simulation checking tool. (English. Russian original) Zbl 1242.68154
Program. Comput. Softw. 37, No. 4, 200-209 (2011); translation from Programmirovanie 37, No. 4 (2011).