دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.) سری: Lecture Notes in Computer Science 6538 Security and Cryptology ISBN (شابک) : 9783642182747, 3642182747 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 430 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب تأیید، بررسی مدل و تفسیر خلاصه: 12th International Conference، VMCAI 2011، Austin، TX، USA، 23-25 ژانویه 2011. پرونده ها: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید، بررسی مدل و تفسیر خلاصه: 12th International Conference، VMCAI 2011، Austin، TX، USA، 23-25 ژانویه 2011. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین المللی تأیید، بررسی مدل، و تفسیر چکیده، VMCAI 2011، در آستین، تگزاس، ایالات متحده آمریکا، در ژانویه 2011، با همزمان با سمپوزیوم اصول است. از زبان های برنامه نویسی، POPL 2011.
24 مقاله کامل اصلاح شده ارائه شده همراه با 4 گفتگو دعوت شده به دقت بررسی و از بین 71 ارسال اولیه انتخاب شدند. این مقالات تحقیقات پیشرفتهای را در زمینههایی مانند تأیید، بررسی مدل، تفسیر انتزاعی و پرداختن به هر پارادایم برنامهنویسی، از جمله برنامهنویسی همزمان، محدودیت، تابعی، ضروری، منطقی و شیگرا به نمایش میگذارد. موضوعات دیگری که تحت پوشش قرار میگیرند عبارتند از تجزیه و تحلیل استاتیک، روشهای قیاسی، گواهی برنامه، تکنیکهای اشکالزدایی، حوزههای انتزاعی، سیستمهای نوع و بهینهسازی.
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.
The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Front Matter....Pages -
Are Cells Asynchronous Circuits?....Pages 1-1
Formal Analysis of Message Passing....Pages 2-18
Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation....Pages 19-22
Quality Engineering: Leveraging Heterogeneous Information....Pages 23-37
More Precise Yet Widely Applicable Cost Analysis....Pages 38-53
Refinement-Based CFG Reconstruction from Unstructured Programs....Pages 54-69
SAT-Based Model Checking without Unrolling....Pages 70-87
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic....Pages 88-102
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds....Pages 103-117
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice....Pages 118-133
Proving Stabilization of Biological Systems....Pages 134-149
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections....Pages 150-168
Strengthening Induction-Based Race Checking with Lightweight Static Analysis....Pages 169-183
Access Nets: Modeling Access to Physical Spaces....Pages 184-198
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation....Pages 199-213
Verifying Deadlock-Freedom of Communication Fabrics....Pages 214-231
Static Analysis of Finite Precision Computations....Pages 232-247
An Evaluation of Automata Algorithms for String Analysis....Pages 248-262
Automata Learning with Automated Alphabet Abstraction Refinement....Pages 263-277
Towards Complete Reasoning about Axiomatic Specifications....Pages 278-293
String Analysis as an Abstract Interpretation....Pages 294-308
ExplainHoudini: Making Houdini Inference Transparent....Pages 309-323
Abstract Probabilistic Automata....Pages 324-339
Distributed and Predictable Software Model Checking....Pages 340-355
Access Analysis-Based Tight Localization of Abstract Memories....Pages 356-370
Decision Procedures for Automating Termination Proofs....Pages 371-386
Collective Assertions....Pages 387-402
Sets with Cardinality Constraints in Satisfiability Modulo Theories....Pages 403-418
Back Matter....Pages -