Аннотация:
Предложен способ, позволяющий в процессе исполнения программ осуществлять контроль кодов команд, выбираемых из памяти ЭВМ. Способ требует модификации формата команд передачи управления. Контролируется как правильность выбираемых кодов команд, так и правильность последовательности их выборки.