دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Ezio Bartocci. Rupak Majumdar (eds.)
سری: Lecture Notes in Computer Science 9333
ISBN (شابک) : 9783319238197, 9783319238203
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 439
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 مگابایت
کلمات کلیدی مربوط به کتاب تأیید زمان اجرا: ششمین کنفرانس بین المللی ، RV 2015 وین ، اتریش ، 22-25 سپتامبر 2015. مجموعه مقالات: مهندسی نرم افزار، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید زمان اجرا: ششمین کنفرانس بین المللی ، RV 2015 وین ، اتریش ، 22-25 سپتامبر 2015. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری ششمین کنفرانس بینالمللی تأیید
زمان اجرا، RV 2015، برگزار شده در وین، اتریش، در سپتامبر 2015
است. 15 مقاله کامل اصلاح شده همراه با 4 مقاله کوتاه، 2 مقاله
ابزار، 4 آموزش، 3 سخنرانی دعوت شده و 2 مقاله مسابقه نرم
افزاری به دقت بررسی و از بین 45 مورد ارسالی انتخاب
شدند.
بحث مراکز کنفرانس حول دو جنبه اصلی. اولین مورد این است که
بفهمیم آیا تکنیکهای تأیید زمان اجرا میتوانند عملاً مکمل
روشهای سنتی اثبات صحت برنامهها قبل از اجرای آنها باشند،
مانند بررسی مدل و اثبات قضیه. موضوع دوم مربوط به روشهای رسمی
است و اینکه چگونه کاربرد آنها میتواند تکنیکهای نظارت موقت
مورد استفاده در نظارت بر عملکرد، شبیهسازی و شبیهسازی طراحی
سختافزار و غیره را بهبود بخشد.
This book constitutes the refereed proceedings of the 6th
International Conference on Runtime Verification, RV 2015,
held in Vienna, Austria, in September 2015. The 15 revised
full papers presented together with 4 short papers, 2 tool
papers, 4 tutorials, 3 invited talks, and 2 software
competition papers were carefully reviewed and selected from
45 submissions.
The discussion of the conference centers around two main
aspects. The first is to understand wether the runtime
verification techniques can practically complement the
traditional methods proving programs correct before their
execution, such as model checking and theorem proving. The
second concerns with formal methods and how their application
can improve traditional ad-hoc monitoring techniques used in
performance monitoring, hardware design emulation and
simulation, etc.
Front Matter....Pages -
Front Matter....Pages 1-1
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification....Pages 3-17
Front Matter....Pages 19-19
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties....Pages 21-37
Runtime Adaptation for Actor Systems....Pages 38-54
Robust Online Monitoring of Signal Temporal Logic....Pages 55-70
On Verifying Hennessy-Milner Logic with Recursion at Runtime....Pages 71-86
Assuring the Guardians....Pages 87-101
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System....Pages 102-117
Monitoring Electronic Exams....Pages 118-135
Monitoring Real Android Malware....Pages 136-152
Time-Triggered Runtime Verification of Component-Based Multi-core Systems....Pages 153-168
Runtime Verification Through Forward Chaining....Pages 169-184
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment....Pages 185-200
From First-order Temporal Logic to Parametric Trace Slicing....Pages 201-215
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems....Pages 216-232
A Hybrid Approach to Causality Analysis....Pages 233-249
Front Matter....Pages 250-265
Statistical Model Checking of Distributed Adaptive Real-Time Software....Pages 267-267
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources....Pages 269-274
Runtime Verification for Hybrid Analysis Tools....Pages 275-280
Suggesting Edits to Explain Failing Traces....Pages 281-286
Front Matter....Pages 287-293
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java....Pages 295-295
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution....Pages 297-305
Front Matter....Pages 306-320
Machine Learning Methods in Statistical Model Checking and System Design - Tutorial....Pages 321-321
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial....Pages 323-341
LearnLib Tutorial....Pages 342-357
Monitoring and Measuring Hybrid Behaviors A Tutorial....Pages 358-377
Front Matter....Pages 378-402
Second International Competition on Runtime Verification CRV 2015....Pages 403-403
Rigorous Examination of Reactive Systems: The RERS Challenge 2015....Pages 405-422
Back Matter....Pages 423-429
....Pages -