Terms for subject Programming containing checking in

English	Russian
A good compiler should be able to produce code with checks, should avoid redundant checks, and should allow programmers to control the extent and type of error checking in the compiled code	Хороший компилятор должен уметь порождать код с проверками, избегать лишних проверок и позволять программистам управлять количеством и видами проверок на ошибки в скомпилированном коде (ssn)
built-in self-checking monitoring circuit	самопроверяемая схема встроенного контроля (ssn)
extent and type of error checking in the compiled code	количество и виды проверок на ошибки в скомпилированном коде (ssn)
in the not-so-distant past, the term formal verification was considered synonymous with equivalency checking for the majority of design engineers	ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004)