formal method
| verification
| toolset
| formal method | |
| math. | формальный метод |
| verification | |
| gen. | осуществление контроля; проверка; подтверждение; исследование; засвидетельствование; удостоверение |
| construct. | поверка |
| toolset | |
| automat. | комплект инструментов; набор средств |
| comp. | набор инструментария; набор дополнений |
| comp., MS | пакет |
| econ. | инструментарий |
| O&G. tech. | набор технических средств |
| progr. | набор инструментов; комплект инструментальных средств |
| |||
| формальный метод | |||
| |||
| формальные методы (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn) | |||
| English thesaurus | |||
| |||
| FM (Alex Lilo) | |||
|
formal method : 9 phrases in 4 subjects |
| Animal husbandry | 1 |
| Makarov | 2 |
| Programming | 4 |
| Software | 2 |