Terms for subject Programming containing символьная модель

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