دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
دانلود کتاب نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی SPIN ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 10-12 آگوست ، 2008 مجموعه مقالات
مشخصات کتاب
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
ویرایش: 1 نویسندگان: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.) سری: Lecture Notes in Computer Science 5156 Theoretical Computer Science and General Issues ISBN (شابک) : 9783540851134, 9783540851141 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 351 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی SPIN ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 10-12 آگوست ، 2008 مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی SPIN ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 10-12 آگوست ، 2008 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی SPIN ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 10-12 آگوست ، 2008 مجموعه مقالات
این کتاب مجموعه مقالات داوری پانزدهمین کارگاه بین‌المللی SPIN در نرم‌افزار بررسی مدل، SPIN 2008، در لس‌آنجلس، کالیفرنیا، ایالات متحده آمریکا، در آگوست 2008 است.
هفده مورد اصلاح‌شده کامل. مقالات ارائه شده همراه با 1 مقاله ابزار و 4 سخنرانی دعوت شده به دقت بررسی و از بین 41 مقاله ارسالی انتخاب شدند. تمرکز اصلی مجموعه کارگاه ها سیستم های نرم افزاری شامل مدل ها و برنامه ها است. این مقالات مبانی نظری و الگوریتمی و همچنین ابزارهایی برای بررسی مدل نرم افزار و تقویت تعاملات و تبادل نظر با حوزه های مرتبط در مهندسی نرم افزار، مانند تجزیه و تحلیل استاتیک، تجزیه و تحلیل پویا، و تست را پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.
The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
فهرست مطالب
Front Matter....Pages -
Residual Checking of Safety Properties....Pages 1-2
The Case for Context-Bounded Verification of Concurrent Programs....Pages 3-6
Combining Static and Dynamic Reasoning for the Discovery of Program Properties....Pages 7-8
Using Dynamic Symbolic Execution to Improve Deductive Verification....Pages 9-25
Automated Evaluation of Secure Route Discovery in MANET Protocols....Pages 26-41
Model Checking Abstract Components within Concrete Software Environments....Pages 42-59
Generating Compact MTBDD-Representations from Probmela Specifications....Pages 60-76
Dynamic Delayed Duplicate Detection for External Memory Model Checking....Pages 77-94
State Focusing: Lazy Abstraction for the Mu-Calculus....Pages 95-113
Efficient Modeling of Concurrent Systems in BMC....Pages 114-133
Tackling Large Verification Problems with the Swarm Tool....Pages 134-143
Formal Verification of a Flash Memory Device Driver – An Experience Report....Pages 144-159
Layered Duplicate Detection in External-Memory Model Checking....Pages 160-175
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes....Pages 176-195
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems....Pages 196-213
Resource-Aware Verification Using Randomized Exploration of Large State Spaces....Pages 214-231
Incremental Hashing for Spin ....Pages 232-249
Verifying Compiler Based Refinement of Bluespec TM Specifications Using the SPIN Model Checker....Pages 250-269
Symbolic Context-Bounded Analysis of Multithreaded Java Programs....Pages 270-287
Efficient Stateful Dynamic Partial Order Reduction....Pages 288-305
Symbolic String Verification: An Automata-Based Approach....Pages 306-324
Verifying Multi-threaded C Programs with SPIN....Pages 325-342
Back Matter....Pages -
