روشهای صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
ردهانبوه: انتقال از رده:علوم رسمی به رده:علوم صوری |
Yamaha5Bot (بحث | مشارکتها) جز حذف پیوند به خود مقاله با استفاده از AWB |
||
خط ۳۱:
== انتقادها ==
شاخه
این باعث میشود که روشهای صوری بیشتر در شاخهها که سودهای داشتن چنین اثباتهایی به کار برده شوند، یا خطر افتادن در خطاهای کشف نشده، ارزش آنها را ذخیره میکند.
در حال حاضر استدلال کنندههای روشهای صوری ادعا کردهاند که تکنیکهای آنها مانند گلوله نقرهای خواهد بود در بحران سختافزاری.
خط ۳۹:
{{پانویس}}
* Mohammad Reza Nami and Fatemeh Hassani. 2009. [[doi:10.1145/1527202.1527211|A comparative evaluation of the Z, CSP, RSL, and VDM languages]]. ''SIGSOFT Softw. Eng. Notes'' 34, 3 (May 2009), 1-4
* {{یادکرد-ویکی
|پیوند = http://en.wikipedia.org/wiki/Formal_methods
|