تحقیق و اثبات درستی برنامه
از ویکیپدیا، دانشنامهٔ آزاد.
يكي از روش هاي تحقيق و بررسي و اثبات درستي برنامه استفاده از مهندسي معكوس است مهندسي معكوس يا Reverse Engineering به مهندسان كامپيوتر كمك میكند برنامه هاي مختلف را حتي بدون داشتن كد و سورس (منبع) برنامه ديباگ (اشكال يابي) كرده و گاها به رفع اين مشكلات بپردازند.
مهندسي معكوس رشته اي دانشگاهي و كاملا تدوين شده و قانوني است ولي شاخه اي از اين رشته كسترش زيادي (به صورت غير قانوني) داشته كه Cracking نام دارد