ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

دانلود کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: هشتمین کنفرانس بین المللی ، VMCAI 2007 ، نیس ، فرانسه ، 14-16 ژانویه ، 2007. مجموعه مقالات

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

مشخصات کتاب

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

ویرایش: [1 ed.] 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 4349 
ISBN (شابک) : 3540697357, 9783540697350 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 395
[406] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 Mb 

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



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

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


در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: هشتمین کنفرانس بین المللی ، VMCAI 2007 ، نیس ، فرانسه ، 14-16 ژانویه ، 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: هشتمین کنفرانس بین المللی ، VMCAI 2007 ، نیس ، فرانسه ، 14-16 ژانویه ، 2007. مجموعه مقالات

این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی تأیید، بررسی مدل و تفسیر چکیده، VMCAI 2007، در نیس، فرانسه در ژانویه 2007 است. این رویداد به همراه سمپوزیوم اصول زبان های برنامه نویسی (POPL 2007) برگزار شد. ). 21 مقاله کامل اصلاح شده ارائه شده همراه با سه سخنرانی دعوت شده و سه آموزش دعوت شده به دقت بررسی و از مجموع 85 مورد ارسالی انتخاب شدند.


توضیحاتی درمورد کتاب به خارجی

The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions.



فهرست مطالب

Front Matter....Pages -
DIVINE: DIscovering Variables IN Executables....Pages 1-28
Verifying Compensating Transactions....Pages 29-43
Model Checking Nonblocking MPI Programs....Pages 44-58
Model Checking Via ΓCFA....Pages 59-73
Using First-Order Theorem Provers in the Jahob Data Structure Verification System....Pages 74-88
Interpolants and Symbolic Model Checking....Pages 89-90
Shape Analysis of Single-Parent Heaps....Pages 91-105
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures....Pages 106-121
On Flat Programs with Lists....Pages 122-136
Automata-Theoretic Model Checking Revisited....Pages 137-150
Language-Based Abstraction Refinement for Hybrid System Verification....Pages 151-166
More Precise Partition Abstractions....Pages 167-181
The Spotlight Principle....Pages 182-198
Lattice Automata....Pages 199-213
Learning Algorithms and Formal Verification (Invited Tutorial)....Pages 214-214
Constructing Specialized Shape Analyses for Uniform Change....Pages 215-233
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning....Pages 234-250
Automated Verification of Shape and Size Properties Via Separation Logic....Pages 251-266
Towards Shape Analysis for Device Drivers....Pages 267-267
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints....Pages 268-282
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes....Pages 283-298
Symmetry and Completeness in the Analysis of Parameterized Systems....Pages 299-313
Better Under-Approximation of Programs by Hiding Variables....Pages 314-328
The Constraint Database Approach to Software Verification....Pages 329-345
Constraint Solving for Interpolation....Pages 346-362
Assertion Checking Unified....Pages 363-377
Invariant Synthesis for Combined Theories....Pages 378-394
Back Matter....Pages -




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