Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
алгоритм символьной верификации моделей для LTLstresses
progr. LTL symbolic model checking algorithm (Linear Temporal Logic ssn)
алгоритм символьной верификации моделей для CTL
progr. CTL symbolic model checking algorithm (Computation Tree Logic ssn)

Add | Report an error | Get short URL | Language Selection Tips