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