دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
دانلود کتاب تایید زمان اجرا: نوزدهمین کنفرانس بین المللی، RV 2019، پورتو، پرتغال، 8 تا 11 اکتبر 2019، مجموعه مقالات
مشخصات کتاب
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ویرایش: [1st ed. 2019]
نویسندگان: Bernd Finkbeiner. Leonardo Mariani
سری: Lecture Notes in Computer Science 11757
ISBN (شابک) : 9783030320782, 9783030320799
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: X, 413
[424]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 18 Mb
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تایید زمان اجرا: نوزدهمین کنفرانس بین المللی، RV 2019، پورتو، پرتغال، 8 تا 11 اکتبر 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تایید زمان اجرا: نوزدهمین کنفرانس بین المللی، RV 2019، پورتو، پرتغال، 8 تا 11 اکتبر 2019، مجموعه مقالات
این کتاب مجموعه مقالات داوری نوزدهمین کنفرانس بین‌المللی
تأیید زمان اجرا، RV 2019، برگزار شده در پورتو، پرتغال، در
اکتبر 2019 است.
25 مقاله منظم ارائه شده در این کتاب با دقت بررسی و انتخاب
شدند. از 38 مورد ارسالی.
کنفرانس RV به تمام جنبه های نظارت و تجزیه و تحلیل سخت افزار،
نرم افزار و اجرای کلی سیستم مربوط می شود. تکنیک‌های تأیید
زمان اجرا، تکنیک‌های سبکی برای ارزیابی صحت، قابلیت اطمینان و
استحکام سیستم هستند. این تکنیک‌ها به‌طور قابل‌توجهی قدرتمندتر
و همه‌کاره‌تر از آزمایش‌های معمولی هستند، و عملی‌تر از تأیید
رسمی کامل هستند.
فصل «تأیید زمان اجرا مبتنی بر فرض با قابلیت مشاهده جزئی و
بازنشانی» و فصل «NuRV: یک برنامه افزودنی nuXmv برای تأیید
زمان اجرا» در دسترس هستند. دسترسی آزاد تحت مجوز Creative
Commons Attribution 4.0 International از طریق
link.springer.com.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 19th
International Conference on Runtime Verification, RV 2019,
held in Porto, Portugal, in October 2019.
The 25 regular papers presented in this book were carefully
reviewed and selected from 38 submissions.
The RV conference is concerned with all aspects of monitoring
and analysis of hardware, software and more general system
executions. Runtime verification techniques are lightweight
techniques to assess system correctness, reliability, and
robustness; these techniques are significantly more powerful
and versatile than conventional testing, and more practical
than exhaustive formal verification.
Chapter “Assumption-Based Runtime Verification with Partial
Observability and Resets” and chapter “NuRV: a nuXmv
Extension for Runtime Verification“ are available open access
under a Creative Commons Attribution 4.0 International
License via link.springer.com.
