1. Samofalov, V., Kryukov, V., Kuhn, B., Zheltov, S., Konovalov, A., and DeSouza, J., Automated Correctness Analysis of MPI Programs with Intel Message Checker, Proc. Int. Conf. ParCo, 2005, NIC Series, 2006, vol. 33, pp. 901–907.
2. Aleksakhin, V.F., Efimkin, K.N., Il’yakov, V.N., Kryukov, V.A., Kuleshova, M.I., and Sazanov, Yu.L., Tools for Debugging MPI Programs in the DVM System, in Research Service on the Internet, Trudy Vserossiiskoi Nauchnoi Konferentsii, Moscow: Mosk. Gos. Univ., 2005, pp. 113–115.
3. HP Visual Threads, http://h18000.www1.hp.com/products/software/visualthreads
4. Intel Thread Checker, http://www.intel.com/cd/software/products/asmo-na/eng/threading/286406.htm
5. DVM System, http://www.keldysh.ru/dvm/