Terms for subject Programming containing Symbolic Model

English	Russian
CTL symbolic model checking	символьная верификация моделей для CTL (Computation Tree Logic ssn)
CTL symbolic model checking algorithm	алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn)
LTL symbolic model checking	символьная верификация моделей для LTL (Linear Temporal Logic ssn)
LTL symbolic model checking algorithm	алгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn)
symbolic model	символьная модель (ssn)
symbolic model checker	средство символьной верификации моделей (Alex_Odeychuk)
symbolic model checking	символьная верификация моделей (ssn)
symbolic model-checking techniques	символьные методы верификации моделей (ssn)
symbolic model verifier	символьный верификатор моделей (сокр. SMV ssn)