دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
دانلود کتاب تأیید، بررسی مدل، و تفسیر چکیده: هجدهمین کنفرانس بین المللی، VMCAI 2017، پاریس، فرانسه، 15 تا 17 ژانویه 2017، مجموعه مقالات
مشخصات کتاب
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
ویرایش: 1
نویسندگان: Ahmed Bouajjani. David Monniaux (eds.)
سری: Lecture Notes in Computer Science 10145
ISBN (شابک) : 9783319522333, 9783319522340
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 575
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 21 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب تأیید، بررسی مدل، و تفسیر چکیده: هجدهمین کنفرانس بین المللی، VMCAI 2017، پاریس، فرانسه، 15 تا 17 ژانویه 2017، مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق ریاضی و زبان های رسمی، محاسبات توسط دستگاه های انتزاعی، زبان های برنامه نویسی، کامپایلر ها، مترجمان
در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید، بررسی مدل، و تفسیر چکیده: هجدهمین کنفرانس بین المللی، VMCAI 2017، پاریس، فرانسه، 15 تا 17 ژانویه 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید، بررسی مدل، و تفسیر چکیده: هجدهمین کنفرانس بین المللی، VMCAI 2017، پاریس، فرانسه، 15 تا 17 ژانویه 2017، مجموعه مقالات
این کتاب مجموعه مقالات داوری هجدهمین کنفرانس بین‌المللی راستی‌آزمایی، بررسی مدل، و تفسیر چکیده، VMCAI 2017 است که در ژانویه 2017 در پاریس، فرانسه برگزار شد.
27 مقاله کامل همراه با 3 سخنرانی دعوت شده ارائه شده به دقت بررسی و از 60 مورد ارسالی انتخاب شدند. VMCAI موضوعاتی از جمله: تأیید برنامه، بررسی مدل، تفسیر انتزاعی و حوزه های انتزاعی، ترکیب برنامه، تجزیه و تحلیل استاتیک، سیستم های نوع، روش های قیاسی، گواهی برنامه، تکنیک های اشکال زدایی، تبدیل برنامه، بهینه سازی، سیستم های ترکیبی و سایبری-فیزیکی را ارائه می دهد.توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.
The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.فهرست مطالب
Front Matter....Pages I-XVII
Bringing LTL Model Checking to Biologists....Pages 1-13
Detecting Strict Aliasing Violations in the Wild....Pages 14-33
Effective Bug Finding in C Programs with Shape and Effect Abstractions....Pages 34-54
Synthesizing Non-Vacuous Systems....Pages 55-72
Static Analysis of Communicating Processes Using Symbolic Transducers....Pages 73-90
Reduction of Workflow Nets for Generalised Soundness Verification....Pages 91-111
Structuring Abstract Interpreters Through State and Value Abstractions....Pages 112-130
Matching Multiplications in Bit-Vector Formulas....Pages 131-150
Independence Abstractions and Models of Concurrency....Pages 151-168
Complete Abstractions and Subclassical Modal Logics....Pages 169-186
Using Abstract Interpretation to Correct Synchronization Faults....Pages 187-208
Property Directed Reachability for Proving Absence of Concurrent Modification Errors....Pages 209-227
Stabilizing Floating-Point Programs Using Provenance Analysis....Pages 228-245
Dynamic Reductions for Model Checking Concurrent Software....Pages 246-265
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games....Pages 266-287
Counterexample Validation and Interpolation-Based Refinement for Forest Automata....Pages 288-309
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT....Pages 310-329
Solving Nonlinear Integer Arithmetic with MCSAT....Pages 330-346
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms....Pages 347-366
Efficient Elimination of Redundancies in Polyhedra by Raytracing....Pages 367-385
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions....Pages 386-404
Detecting All High-Level Dataraces in an RTOS Kernel....Pages 405-423
Reachability for Dynamic Parametric Processes....Pages 424-441
Conjunctive Abstract Interpretation Using Paramodulation....Pages 442-461
Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic....Pages 462-482
Finding Relevant Templates via the Principal Component Analysis....Pages 483-499
Sound Bit-Precise Numerical Domains....Pages 500-520
IC3 - Flipping the E in ICE....Pages 521-538
Partitioned Memory Models for Program Analysis....Pages 539-558
Back Matter....Pages 559-560
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Inorganic syntheses. / Volume 4
دانلود کتاب Radio Design in Nanometer Technologies
دانلود کتاب What to say when you are in Russia
