روشهای صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ویکیسازی رباتیک(۶.۷) >برنامه نویسی، شبیه سازی، دست نوشته+املا (۷.۷) |
|||
خط ۲۹:
این باعث میشود که روشهای صوری بیشتر در شاخهها که سودهای داشتن چنین اثباتهایی به کار برده شوند، یا خطر افتادن در خطاهای کشف نشده، ارزش آنها را ذخیره میکند.
در حال حاضر استدلال کنندههای روشهای صوری ادعا کردهاند که تکنیکهای آنها مانند گلوله نقرهای خواهد بود در بحران سختافزاری.
البته، به طور گسترده اعتقاد بر این است که هیچ گلوله نقرهای و هیچ راهحل جادویی برای پیشرفت نرمافزار وجود ندارد و بعضیها خارج از روشهای رایج نوشته شدهاند به خاطر برخی گزافهگوییها و ادعاهای بیش از حد.
== منابع ==
|