کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6874846 | 1441443 | 2018 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
System-level state equality detection for the formal dynamic verification of legacy distributed applications
ترجمه فارسی عنوان
تشخیص برابری سطح حالت سیستم برای تایید پویا رسمی برنامه های توزیع شده میراث
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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).
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 96, April 2018, Pages 1-11
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 96, April 2018, Pages 1-11
نویسندگان
Marion Guthmuller, Gabriel Corona, Martin Quinson,