ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

دانلود کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: دهمین کنفرانس بین المللی ، 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

مشخصات کتاب

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , ,   
سری: 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 مگابایت 

قیمت کتاب (تومان) : 52,000



کلمات کلیدی مربوط به کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: دهمین کنفرانس بین المللی ، VMCAI 2009 ، ساوانا ، GA ، ایالات متحده آمریکا ، 18-20 ژانویه ، 2009. مجموعه مقالات: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب 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 ، ایالات متحده آمریکا ، 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 -




نظرات کاربران