Algorithm validation

проверка правильности алгоритма, доказательство правильности алгоритма Смотри также: algorithm