subclass of formal verification
| called
| model checking
| subclass of formal verification abbr. | |
| progr. | подвид формальной верификации |
| called abbr. | |
| gen. | вызываемый; именуемый; под названием; называемый; по имени; именованный |
| comp. | называемый |
| gambl. | уравненный |
| IT | запрашиваемая линия |
| railw. | вызванный |
| model checking abbr. | |
| ed. | формальные методы обеспечения качества программных систем |
| progr. | верификация модели; проверка моделей; верификация моделей; проверка на модели; верификация на моделях |
| |||
| подвид формальной верификации (ssn) | |||
|
subclass of formal verification : 2 phrases in 1 subject |
| Programming | 2 |