model checking
| technique
| model checking abbr. | |
| ed. | формальные методы обеспечения качества программных систем |
| progr. | верификация модели; проверка моделей; верификация моделей; проверка на модели; верификация на моделях |
| technique abbr. | |
| gen. | техническое оснащение или оборудование; способ выполнения; техническое оснащение; владение специальными приёмами |
| law | приём |
| med. | оборудование; аппаратура; процедура |
| |||
| формальные методы обеспечения качества программных систем (Alex_Odeychuk) | |||
| верификация модели (ssn); проверка моделей (ssn); верификация моделей (ssn); проверка на модели (Alex_Odeychuk); верификация программ на моделях (формальный метод верификации программного обеспечения Alex_Odeychuk) | |||
| проверка модели (Alex_Odeychuk); тестирование и формальная верификация (testing and verification is also known as model checking Alex_Odeychuk); метод проверки моделей (позволяет осуществить автоматизированный перебор всех возможных вариантов выполнения программы, но применим только в случае, когда программа принимает конечное число состояний Alex_Odeychuk) | |||
|
model checking : 23 phrases in 1 subject |
| Programming | 23 |