автоматический верификатор

mechanical verifier

Большой англо-русский и русско-английский словарь. 2001.

Смотреть что такое "автоматический верификатор" в других словарях:

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

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.