[<< Стр.]    [Стр. >>]

стемы при любых возможных ошибках, однако помогает сконструировать ее так, что она будет эффективно отражать наиболее часто встречающиеся ошибки. До того как в действительности можно будет гарантировать целостность системы, необходимо доказать ее правильность, чего нельзя достичь для больших программ в настоящее время.

[<< Стр.]    [Стр. >>]