Terms containing system correctness

Subject	English	Russian
progr.	correctness of a complex real-time system	корректность сложных систем реального времени (ssn)
progr.	guaranteeing the correctness of a complex real-time system	обеспечение корректности сложных систем реального времени (ssn)
progr.	Since we have neither the mathematical tools nor the intellectual capacity to model the complete behavior of large discrete systems, we must be content with acceptable level of confidence regarding their correctness	Поскольку у нас нет ни математического аппарата, ни интеллектуальных возможностей для полноценного моделирования поведения больших дискретных систем, мы должны удовлетвориться приемлемым уровнем уверенности в их правильной работе (см. Object-Oriented Analysis and Design with Applications 3rd Edition by Grady Booch ssn)
progr.	system correctness	корректность системы (ssn)