دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.) سری: Lecture Notes in Computer Science 8174 ISBN (شابک) : 9783642407864, 9783642407871 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 439 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تایید زمان اجرا: چهارمین کنفرانس بین المللی، RV 2013، رن، فرانسه، 24 تا 27 سپتامبر 2013. مجموعه مقالات: مهندسی نرم افزار، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تایید زمان اجرا: چهارمین کنفرانس بین المللی، RV 2013، رن، فرانسه، 24 تا 27 سپتامبر 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری چهارمین کنفرانس بینالمللی تأیید زمان اجرا، RV 2013، برگزار شده در رن، فرانسه، در سپتامبر 2013 است. 24 مقاله کامل اصلاح شده همراه با 3 مقاله دعوت شده، 2 مقاله ابزار و 6 آموزش ارائه شده است. از بین 58 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات به طیف گسترده ای از زبان های مشخصات و فرمالیسم برای ردیابی می پردازند. استخراج مشخصات؛ ابزار دقیق برنامه؛ نظارت بر تکنیک های ساخت و ساز؛ ورود به سیستم، ضبط و پخش مجدد؛ تشخیص خطا، محلی سازی، بازیابی و تعمیر؛ هدایت و انطباق برنامه؛ و همچنین معیارها و جمع آوری اطلاعات آماری؛ ترکیبی از تجزیه و تحلیل استاتیک و پویا و تجسم اجرای برنامه.
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.
Front Matter....Pages -
Executing Specifications Using Synthesis and Constraint Solving....Pages 1-20
Informative Types and Effects for Hybrid Migration Control....Pages 21-39
Monitoring of Temporal First-Order Properties with Aggregations....Pages 40-58
From Propositional to First-Order Monitoring....Pages 59-75
Right-Universality of Visibly Pushdown Automata....Pages 76-93
Distributed Finite-State Runtime Monitoring with Aggregated Events....Pages 94-111
Synthesising Correct Concurrent Runtime Monitors....Pages 112-129
Practical Interruptible Conversations....Pages 130-148
Runtime Verification with Particle Filtering....Pages 149-166
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs....Pages 167-182
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties....Pages 183-200
Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores....Pages 201-218
Efficient Model to Query and Visualize the System States Extracted from Trace Data....Pages 219-234
Repair Abstractions for More Efficient Data Structure Repair....Pages 235-250
To Run What No One Has Run Before: Executing an Intermediate Verification Language....Pages 251-268
Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations....Pages 269-284
A Causality Analysis Framework for Component-Based Real-Time Systems....Pages 285-303
Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques....Pages 304-321
A Scala DSL for Rete-Based Runtime Verification....Pages 322-327
A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools....Pages 328-333
Towards a Generic Non-intrusive Fault Detection Framework....Pages 334-339
A Witnessing Compiler: A Proof of Concept....Pages 340-345
Runtime Monitoring of Temporal Logic Properties in a Platform Game....Pages 346-351
SMock — A Test Platform for Monitoring Tools....Pages 352-357
SPY: Local Verification of Global Protocols....Pages 358-363
Instrumenting Android and Java Applications as Easy as abc....Pages 364-381
On Signal Temporal Logic....Pages 382-383
Runtime Verification and Refutation for Biological Systems....Pages 384-385
A Lesson on Runtime Assertion Checking with Frama-C....Pages 386-399
With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures....Pages 400-402
Dynamic Analysis and Debugging of Binary Code for Security Applications....Pages 403-423
Back Matter....Pages -