نه این جمله الزاما درست نیست. روش هایی مثل زوش های فرمال وجود دارند که کلا از ابتدا جلوی خطاها رو میگیره. روش های دیگری هم هستند که با استفاده از اونا میشه ایرادات رو پیدا کرد. البته پیدا کردن ایرادات به جز در روش های فرمال الزاما صورت نمی گیره و ممکنه ایرادایی هم وجود داشته باشند که متوجه نشیم.