دانلود کتاب Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
کتاب نرم افزار بررسی مدل: هجدهمین کارگاه بین المللی SPIN، Snowbird، UT، ایالات متحده آمریکا، 14-15 جولای، 2011. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب نرم افزار بررسی مدل: هجدهمین کارگاه بین المللی SPIN، Snowbird، UT، ایالات متحده آمریکا، 14-15 جولای، 2011. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
نام کتاب : Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : نرم افزار بررسی مدل: هجدهمین کارگاه بین المللی SPIN، Snowbird، UT، ایالات متحده آمریکا، 14-15 جولای، 2011. مجموعه مقالات
سری : Lecture Notes in Computer Science 6823 Theoretical Computer Science and General Issues
نویسندگان : Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 203
ISBN (شابک) : 9783642223068 , 3642223060
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری هجدهمین کارگاه بین المللی SPIN در نرم افزار بررسی مدل، SPIN 2011 است که در اسنوبرد، UT، ایالات متحده آمریکا، در ژوئیه 2011 برگزار شد. بررسی و از بین 29 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در مورد انتزاعات و کاهش فضای حالت سازماندهی شده اند. استراتژی های جستجو؛ کدگذاری و برنامه های افزودنی PROMELA. و کاربردهای بررسی مدل
فهرست مطالب :
Front Matter....Pages -
Model Checking Cell Fate Decisions....Pages 1-1
Property-Dependent Reductions for the Modal Mu-Calculus....Pages 2-19
String Abstractions for String Verification....Pages 20-37
Parallel Recursive State Compression for Free....Pages 38-56
Depth Bounded Explicit-State Model Checking....Pages 57-74
Randomized Backtracking in State Space Traversal....Pages 75-89
An Analytic Evaluation of SystemC Encodings in Promela....Pages 90-107
Building Extensible Specifications and Implementations of Promela with AbleP....Pages 108-125
Program Sketching via CTL* Model Checking....Pages 126-143
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems....Pages 144-160
Model Checking Industrial Robot Systems....Pages 161-176
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax....Pages 177-182
DiPro - A Tool for Probabilistic Counterexample Generation....Pages 183-187
dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems....Pages 188-193
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
پست ها تصادفی