روشهای صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز رده:اصلاح نویسههای پنهان و حذف موارد زائد |
|||
خط ۳۰:
این باعث میشود که روشهای صوری بیشتر در شاخهها که سودهای داشتن چنین اثباتهایی به کار برده شوند، یا خطر افتادن در خطاهای کشف نشده، ارزش آنها را ذخیره میکند.
در حال حاضر استدلال کنندههای روشهای صوری ادعا کردهاند که تکنیکهای آنها مانند گلوله نقرهای خواهد بود در بحران سختافزاری.
البته، به طور گسترده اعتقاد بر این است که هیچ گلوله نقرهای و هیچ
== منابع ==
خط ۵۴:
[[رده:مهندسی نرمافزار]]
[[رده:ویکیسازی رباتیک]]
[[رده:پیگیری ربات حذف کارکتر نادرست]]
|