Тесты vs формальная верификация