 |
| |||
| формальные методы обеспечения качества программных систем (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 |