• 1 مقدمه (13)
• 2 مدل نگاشت-کاهش و صحت محاسباتی (17)
  • 2.1 اجزای مدل نگاشت-کاهش (17)
  • 2.2 صحت محاسباتی در مدل نگاشت-کاهش (19)
    • 2.2.1 دسته‌بندی کارپذیران سامانه (19)
    • 2.2.2 مفروضات کلی روش‌های حفظ صحت محاسباتی (21)
• 3 مرور راهکارهای موجود در زمینه حفظ صحت محاسباتی در نگاشت-کاهش (23)
  • 3.1 روش‌های مبتنی بر تکرار (23)
    • 3.1.1 وارسی صحت محاسباتی مبتنی بر درخت مرکل (29)
  • 3.2 روش‌های مبتنی بر آب‌نشان‌نگاری (36)
  • 3.3 روش‌های مبتنی بر یکپارچه‌سازی و تحلیل گزارش‌ها (37)
  • 3.4 روش‌های مبتنی بر سخت‌افزار ضدنفوذ (39)
  • 3.5 جمع‌بندی راهکارهای پیشین (40)
• 4 راهکار پیشنهادی (43)
  • 4.1 ضرب ماتریسی با استفاده از مدل نگاشت-کاهش (44)
  • 4.2 مدل معماری سامانه (49)
  • 4.3 مفروضات (50)
  • 4.4 انواع خطاها و فرآیند کلی وارسی (51)
  • 4.5 جزئیات فرآیند وارسی صحت محاسبات (51)
    • 4.5.1 انتخاب نمونه (53)
    • 4.5.2 ساخت درخت مرکل پیش از کاهش (54)
    • 4.5.3 وارسی پیش از ‌کاهش (55)
    • 4.5.4 ساخت درخت مرکل کاهش (56)
    • 4.5.5 وارسی کاهش (58)
• 5 ارزیابی راهکار پیشنهادی (63)
  • 5.1 تحلیل راهکار (63)
    • 5.1.1 اثبات درستی (63)
    • 5.1.2 تحلیل دقت تشخیص (69)
    • 5.1.3 تحلیل سربار (69)
  • 5.2 شبیه‌سازی راهکار و نتایج آن (73)
• 6 نتیجه‌گیری و سوی کارهای آتی (77)
  • 6.1 جمع‌بندی و نتیجه‌گیری (77)
  • 6.2 سوی کارهای آتی (79)
• کتاب‌نامه (81)
• واژه‌نامه‌ی فارسی به انگلیسی (85)
• واژه‌نامه‌ی انگلیسی به فارسی (87)