model checking
| method
| model checking abbr. | |
| ed. | формальные методы обеспечения качества программных систем |
| progr. | верификация модели; проверка моделей; верификация моделей; проверка на модели; верификация на моделях |
| method abbr. | |
| gen. | способ; приём; система; порядок; классификация; подход |
| busin. | логичность |
| patents. | процесс |
| tech. | методика; техника |
| |||
| формальные методы обеспечения качества программных систем (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 |