formal verification
| of
| an
| implementation
| against
| a
| specification
| formal verification abbr. | |
| data.prot. | математическая верификация |
| IT | формальная верификация |
| of abbr. | |
| gen. | относительно; от; обо; изо; служебное слово, указывает на вкус или запах; служебное слово, выражает свойство или возраст |
| -an abbr. | |
| Makarov. | идеологическому течению, научной школе |
| AN abbr. | |
| el. | текстовый |
| electr.eng. | ЭС |
| an abbr. | |
| gen. | ангола; какой-нибудь; артикль |
| chinese.lang. | ань |
| tech. | подача инструмента |
| implementation abbr. | |
| gen. | исполнение; воплощение; реализация; внедрение; ввод в действие; выполнение |
| busin. | обеспечение |
| IT | ввод в работу |
| law | введение в действие; имплементация |
| against abbr. | |
| gen. | против; вопреки; на; рядом; по отношению; на фоне |
| A. abbr. | |
| abbr. hydrol. | абсолютная температурная шкала |
| a abbr. | |
| gen. | некий; неопределённый артикль |
| context. | определённый; сокращённая разговорная форма вспомогательного глагола "have"; некто; будучи |
| inf. | какой-то |
| math. | один |
| specification abbr. | |
| gen. | технические характеристики; спецификация; уточнение; определение; характеристика; деталь |
| bridg.constr. | технические характеристики |
| Makarov. | за пределами заданных технических требований |
| |||
| математическая верификация | |||
| формальная верификация | |||
| формальная верификация кода (Electronic Design Alex_Odeychuk) | |||
|
formal verification : 31 phrases in 2 subjects |
| Programming | 24 |
| Software | 7 |