- автоматический верификатор
- mechanical verifier
Большой англо-русский и русско-английский словарь. 2001.
автоматический верификатор
Смотреть что такое "автоматический верификатор" в других словарях:
автоматический верификатор — Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN mechanical verifier … Справочник технического переводчика
