دانلود کتاب Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
کتاب نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی SPIN، لس آنجلس، کالیفرنیا، ایالات متحده، 10-12 اوت، 2008 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی SPIN، لس آنجلس، کالیفرنیا، ایالات متحده، 10-12 اوت، 2008 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
نام کتاب : Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی SPIN، لس آنجلس، کالیفرنیا، ایالات متحده، 10-12 اوت، 2008 مجموعه مقالات
سری : Lecture Notes in Computer Science 5156 Theoretical Computer Science and General Issues
نویسندگان : Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2008
تعداد صفحات : 351
ISBN (شابک) : 9783540851134 , 9783540851141
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 8 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری پانزدهمین کارگاه بین‌المللی SPIN در نرم‌افزار بررسی مدل، SPIN 2008، در لس‌آنجلس، کالیفرنیا، ایالات متحده آمریکا، در آگوست 2008 است.
هفده مورد اصلاح‌شده کامل. مقالات ارائه شده همراه با 1 مقاله ابزار و 4 سخنرانی دعوت شده به دقت بررسی و از بین 41 مقاله ارسالی انتخاب شدند. تمرکز اصلی مجموعه کارگاه ها سیستم های نرم افزاری شامل مدل ها و برنامه ها است. این مقالات مبانی نظری و الگوریتمی و همچنین ابزارهایی برای بررسی مدل نرم افزار و تقویت تعاملات و تبادل نظر با حوزه های مرتبط در مهندسی نرم افزار، مانند تجزیه و تحلیل استاتیک، تجزیه و تحلیل پویا، و تست را پوشش می دهند.
فهرست مطالب :
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 -
توضیحاتی در مورد کتاب به زبان اصلی :
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.