دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.) سری: Lecture Notes in Computer Science 4349 ISBN (شابک) : 3540697357, 9783540697350 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 395 [406] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
در صورت تبدیل فایل کتاب 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، در نیس، فرانسه در ژانویه 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 -