 |
| |||
| условный верификатор | |||
| блок проверки утверждений; ревизор утверждений (программная или аппаратная система); верификатор условий; блок проверки утверждения; блок контроля утверждений | |||
| блок проверки утверждений (в СИИ) | |||
| программа подтверждения отсутствия ошибок (ssn) | |||
| программа верификации | |||
