PTTC.PNG
Skip to main content.

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

Дата последнего изменения:2012.06.29
Сообщить об ошибке
  автоматический верификатор
Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем.
[http://www.morepc.ru/dict/]
EN  
FR  

Тематики

  • информационные технологии в целом

EN

  • mechanical verifier

 

Внимание!

Закрыть