Terms containing check is satisfied

Subject	English	Russian
progr.	an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints	Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
math., Makarov.	check is satisfied	проверка выполняется (проверка подтверждает правильность решения)
math., Makarov.	the check is satisfied	проверка выполняется (проверка подтверждает правильность решения)
Makarov., math.	the check is satisfied	проверка подтверждает правильность решения