دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
دانلود کتاب تأیید به کمک رایانه: بیست و هفتمین کنفرانس بین المللی، CAV 2015، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18-24 ژوئیه، 2015، مجموعه مقالات، قسمت دوم
مشخصات کتاب
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
ویرایش: 1
نویسندگان: Daniel Kroening. Corina S. Păsăreanu (eds.)
سری: Lecture Notes in Computer Science 9207
ISBN (شابک) : 9783319216676, 9783319216683
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 479
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب تأیید به کمک رایانه: بیست و هفتمین کنفرانس بین المللی، CAV 2015، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18-24 ژوئیه، 2015، مجموعه مقالات، قسمت دوم: منطق و معانی برنامه ها، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، منطق ریاضی و زبان های رسمی، سازماندهی سیستم های کامپیوتری و شبکه های ارتباطی
در صورت تبدیل فایل کتاب Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید به کمک رایانه: بیست و هفتمین کنفرانس بین المللی، CAV 2015، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18-24 ژوئیه، 2015، مجموعه مقالات، قسمت دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید به کمک رایانه: بیست و هفتمین کنفرانس بین المللی، CAV 2015، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18-24 ژوئیه، 2015، مجموعه مقالات، قسمت دوم
مجموعه دو جلدی LNCS 9206 و LNCS 9207 مجموعه مقالات داوری بیست و هفتمین کنفرانس بین‌المللی تأیید به کمک رایانه، CAV 2015، در سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، در ژوئیه 2015 برگزار می‌شود.
مجموع 58 مقاله کامل و 11 مقاله کوتاه ارائه شده در جلسات به دقت بررسی و از بین 252 مقاله ارسالی انتخاب شد. مقالات در بخش های موضوعی به نام های: بررسی مدل و اصلاحات سازماندهی شدند. استدلال کمی؛ تجزیه و تحلیل نرم افزار; صحبت های برق آسا؛ درونیابی، IC3/PDR، و متغیرها. تکنیک ها و کاربردهای SMT؛ تأیید HW؛ سنتز؛ خاتمه دادن؛ و همزمانی.
توضیحاتی درمورد کتاب به خارجی
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.
The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.
فهرست مطالب
Front Matter....Pages I-XVIII
Front Matter....Pages 1-1
Finding Bounded Path in Graph Using SMT for Automatic Clock Routing....Pages 3-19
Cutting the Mix....Pages 20-36
The Inez Mathematical Programming Modulo Theories Framework....Pages 37-52
Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets....Pages 53-69
Deciding Local Theory Extensions via E-matching....Pages 70-86
Front Matter....Pages 87-105
Modular Deductive Verification of Multiprocessor Hardware Designs....Pages 107-107
Word-Level Symbolic Trajectory Evaluation....Pages 109-127
Verifying Linearizability of Intel® Software Guard Extensions....Pages 128-143
Front Matter....Pages 144-160
Synthesis Through Unification....Pages 161-161
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis....Pages 163-179
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT....Pages 180-197
Deductive Program Repair....Pages 198-216
Quantifying Conformance Using the Skorokhod Metric....Pages 217-233
Pareto Curves of Multidimensional Mean-Payoff Games....Pages 234-250
Front Matter....Pages 251-267
Conflict-Driven Conditional Termination....Pages 269-269
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs....Pages 271-286
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions....Pages 287-303
Measuring with Timed Patterns....Pages 304-321
Automatic Verification of Stability and Safety for Delay Differential Equations....Pages 322-337
Front Matter....Pages 338-355
Time Robustness in MTL and Expressivity in Hybrid System Falsification....Pages 269-269
Front Matter....Pages 356-374
Adaptive Concretization for Parallel Program Synthesis....Pages 375-375
Automatic Completion of Distributed Protocols with Symmetry....Pages 377-394
An Axiomatic Specification for Sequential Memory Models....Pages 395-412
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems....Pages 413-428
Automated and Modular Refinement Reasoning for Concurrent Programs....Pages 429-448
Back Matter....Pages 449-465
....Pages 467-469
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Never Forget National Humiliation: Historical Memory in Chinese Politics and Foreign Relations
دانلود کتاب Foodomics: Advanced Mass Spectrometry in Modern Food Science and Nutrition
دانلود کتاب Take Control of Your Depression: Strategies to Help You Feel Better Now
