formal verification
| algorithms
| formal verification abbr. | |
| data.prot. | математическая верификация |
| IT | формальная верификация |
| Algorithm abbr. | |
| comp., net. | Набор упорядоченных шагов для решения задачи, такой как математическая формула или инструкция в программе |
| inet. | алгоритм Набор упорядоченных шагов для решения задачи, такой как математическая формула или инструкция в программе |
| algorithm abbr. | |
| gen. | алгоритм |
| astronaut. | быстросходящийся алгоритм |
| avia., med. | алгоритм |
| cartogr. | десятичная система счисления |
| math. | алгоритм перевода; алгоритм трассировки; алгорифм |
| med. | предписание |
| |||
| математическая верификация | |||
| формальная верификация | |||
| формальная верификация кода (Electronic Design Alex_Odeychuk) | |||
|
formal verification : 31 phrases in 2 subjects |
| Programming | 24 |
| Software | 7 |