Verification and validation: process VS procedure - V. L. Demekhin; V. V. Ilkovich; V. N. Bukanov (Nuclear physics and atomic energy, 2013)