Патент №2459236 - Способ и система контроля за выполнением программ с помощью трассировки