| |

model checking

формальные методы обеспечения качества программных систем (Alex_Odeychuk)

верификация модели (ssn); проверка моделей (ssn); верификация моделей (ssn); проверка на модели (Alex_Odeychuk); верификация программ на моделях (формальный метод верификации программного обеспечения Alex_Odeychuk)

softw.

проверка модели (Alex_Odeychuk); тестирование и формальная верификация (testing and verification is also known as model checking Alex_Odeychuk); метод проверки моделей (позволяет осуществить автоматизированный перебор всех возможных вариантов выполнения программы, но применим только в случае, когда программа принимает конечное число состояний Alex_Odeychuk)

model checking

: 23 phrases in 1 subject

Programming


model checking
ed.	формальные методы обеспечения качества программных систем
progr.	верификация модели; проверка моделей; верификация моделей; проверка на модели; верификация на моделях


using
gen.	пользование
auto.	порядок работы
comp.	употребление
math.	использующий; используя; пользуясь
mil., arm.veh.	использование; применение
progr.	применение
scient.	реализация


automata
Makarov.	автоматы
automaton
gen.	автомат; робот; электронная игрушка; бездушный, сухой человек; зверёк; самодвижущийся человечек
automat.	автоматическое устройство