Terms containing s-of-s check

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)
gen.	he was on the point of pegging out with a complication of disorders that even whiskey had failed to check	здоровье у него пришло в такое расстройство, что даже виски не помогал (witness)
stat.	s-of-s check	проверка суммы квадратов