علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
روش‌های صوری
شاخه روش‌های صوری انتقادهای خاص خود را دارد. در وضعیت حال هنر، دلایل درستی‌ها، چه با دست نوشته شود یا با رایانه برای تولید، با سود محدود به جای اطمینان درست، نیاز قابل توجهی به زمان دارند (و به پول). این باعث می‌شود که روش‌های صوری بیشتر در شاخه‌ها که سودهای داشتن چنین اثبات‌هایی به کار برده شوند، یا خطر افتادن در خطاهای کشف نشده، ارزش آنها را ذخیره می‌کند. در حال حاضر استدلال کننده‌های روش‌های صوری ادعا کرده‌اند که تکنیک‌های آنها مانند گلوله نقره‌ای خواهد بود در بحران سخت‌افزاری. البته، به‌طور گسترده اعتقاد بر این است که هیچ گلوله نقره‌ای و هیچ راه‌حل جادویی برای پیشرفت نرم‌افزار وجود ندارد و بعضی‌ها خارج از روش‌های رایج نوشته شده‌اند به خاطر برخی گزافه‌گویی‌ها و ادعاهای بیش از حد.