верификатор условий

Дата последнего изменения:2013.03.17
Сообщить об ошибке

	верификатор условий Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях. [Домарев В.В. Безопасность информационных технологий. Системный подход.]
EN
FR