Terms containing simple operator

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)
IT	simple assignment operator	знак операции присваивания
progr.	simple assignment operator	простая операция присваивания
math.	simple operator	простой оператор