دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: E. Allen Emerson (auth.), Neil D. Jones, Markus Müller-Olm (eds.) سری: Lecture Notes in Computer Science 5403 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540938990, 9783540938996 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 391 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: دهمین کنفرانس بین المللی ، VMCAI 2009 ، ساوانا ، GA ، ایالات متحده آمریکا ، 18-20 ژانویه ، 2009. مجموعه مقالات: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: دهمین کنفرانس بین المللی ، VMCAI 2009 ، ساوانا ، GA ، ایالات متحده آمریکا ، 18-20 ژانویه ، 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین المللی تأیید، بررسی مدل، و تفسیر چکیده، VMCAI 2009، که در ساوانا، GA، ایالات متحده آمریکا، در ژانویه 2009 برگزار شد - با همکاری POPL 2009، تشکیل شده است. سی و ششمین سمپوزیوم سالانه اصول زبان های برنامه نویسی.
24 مقاله کامل اصلاح شده ارائه شده همراه با 3 سخنرانی دعوت شده و 2 آموزش دعوت شده به دقت بررسی و از بین 72 مورد ارسالی انتخاب شدند. این مقالات به تمام مسائل جاری از جوامع راستیآزمایی، بررسی مدل، و تفسیر انتزاعی، تسهیل تعامل، لقاح متقابل و پیشرفت روشهای ترکیبی که این سه حوزه را ترکیب میکنند، میپردازد.
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.
The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.
Front Matter....Pages -
Model Checking: Progress and Problems....Pages 1-1
Model Checking Concurrent Programs....Pages 2-2
Thread-Modular Shape Analysis....Pages 3-3
Advances in Program Termination and Liveness....Pages 4-4
Verification of Security Protocols....Pages 5-13
Towards Automatic Stability Analysis for Rely-Guarantee Proofs....Pages 14-28
Mostly-Functional Behavior in Java Programs....Pages 29-43
The Higher-Order Aggregate Update Problem....Pages 44-58
An Abort-Aware Model of Transactional Programming....Pages 59-73
Model-Checking the Linux Virtual File System....Pages 74-88
LTL Generalized Model Checking Revisited....Pages 89-104
Monitoring the Full Range of ω -Regular Properties of Stochastic Systems....Pages 105-119
Constraint-Based Invariant Inference over Predicate Abstraction....Pages 120-135
Reducing Behavioural to Structural Properties of Programs with Procedures....Pages 136-150
Query-Driven Program Testing....Pages 151-166
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets....Pages 167-181
Abstraction Refinement for Probabilistic Software....Pages 182-197
Finding Concurrency-Related Bugs Using Random Isolation....Pages 198-213
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries....Pages 214-228
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities....Pages 229-244
Deciding Extensions of the Theories of Vectors and Bags....Pages 245-259
A Posteriori Soundness for Non-deterministic Abstract Interpretations....Pages 260-274
An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking....Pages 275-289
A Scalable Memory Model for Low-Level Code....Pages 290-304
Synthesizing Switching Logic Using Constraint Solving....Pages 305-319
Extending Symmetry Reduction by Exploiting System Architecture....Pages 320-334
Shape-Value Abstraction for Verifying Linearizability....Pages 335-348
Mixed Transition Systems Revisited....Pages 349-365
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking....Pages 366-380
Back Matter....Pages -