allow the verification of time bounded properties

Terms containing allow the verification of time bounded properties | all forms | exact matches only | in specified order only

Subject	English	Russian
progr.	A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators	Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
progr.	allow the verification of time bounded properties	позволять верифицировать свойства с ограничениями по времени (ssn)