Здравствуйте, Sharov, Вы писали:

I>>То есть, нет способа различить две ситуации — "нет багов" и "мы не знаем, есть ли неизвестные баги".

S>Ну почему же, есть же соотв. инструменты верификации. Или, например, у нас КА с большим кол-вом состояний и т.п.

Каким образом понять, что некто воспользовался этим инструментом, а не накида КА на глазок?

Каким образом понять, что интеграция этого КА сделана как положено, а не просто затычкой вида "и так сойдет" ?