formal verification
| toolset
| formal verification abbr. | |
| data.prot. | математическая верификация |
| IT | формальная верификация |
| toolset abbr. | |
| automat. | комплект инструментов; набор средств |
| comp. | набор инструментария; набор дополнений |
| comp., MS | пакет |
| econ. | инструментарий |
| O&G. tech. | набор технических средств |
| progr. | набор инструментов; комплект инструментальных средств |
| |||
| математическая верификация | |||
| формальная верификация | |||
| формальная верификация кода (Electronic Design Alex_Odeychuk) | |||
|
formal verification : 31 phrases in 2 subjects |
| Programming | 24 |
| Software | 7 |