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