Terms containing Symbolic Model

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