DictionaryForumContacts

   English Russian +
Google | Forvo | +

subclass of formal verification called model checking

stresses
progr. подвид формальной верификации, называемый верификация модели (ssn)