دانلود مقاله ISI انگلیسی شماره 124830
ترجمه فارسی عنوان مقاله

تشخیص برابری سطح حالت سیستم برای تایید پویا رسمی برنامه های توزیع شده میراث

عنوان انگلیسی
System-level state equality detection for the formal dynamic verification of legacy distributed applications
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
124830 2018 11 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 7760 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 14 روز بعد از پرداخت 93,120 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 7 روز بعد از پرداخت 186,240 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Journal of Logical and Algebraic Methods in Programming, Volume 96, April 2018, Pages 1-11

پیش نمایش مقاله
پیش نمایش مقاله تشخیص برابری سطح حالت سیستم برای تایید پویا رسمی برنامه های توزیع شده میراث

چکیده انگلیسی

We demonstrate the effectiveness of our approach through the exhaustive verification of several programs from the MPICH3 test suite and through the partial termination analysis of some applications from the Competition on Software Verification (SV-COMP).

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 7760 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 14 روز بعد از پرداخت 93,120 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 7 روز بعد از پرداخت 186,240 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.