دانلود کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
کتاب نرم افزار بررسی مدل: هفدهمین کارگاه بین المللی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب نرم افزار بررسی مدل: هفدهمین کارگاه بین المللی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
نام کتاب : Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : نرم افزار بررسی مدل: هفدهمین کارگاه بین المللی SPIN، Enschede، هلند، 27-29 سپتامبر 2010. مجموعه مقالات
سری : Lecture Notes in Computer Science 6349 : Theoretical Computer Science and General Issues
نویسندگان : Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 272
ISBN (شابک) : 9783642161643 , 3642161642
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری هفدهمین کارگاه بین‌المللی SPIN در نرم‌افزار بررسی مدل، SPIN 2010 است که در دانشگاه Twente، در Enschede، هلند، در سپتامبر 2010 برگزار شد. 13 مقاله کامل اصلاح‌شده همراه با 2 مقاله ابزار و 3 مقاله ارائه شده است. گفتگوهای دعوت شده به دقت بررسی و از بین 33 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد نظریه‌های مدول رضایت‌پذیری برای بررسی مدل، بررسی مدل در زمینه (شبیه‌سازی، آزمایش، UML)، پیاده‌سازی و عملکرد بررسی مدل، LTL و Büchi automata، توسعه‌های سیستم‌های حالت بی‌نهایت، و نرم‌افزار همزمان سازمان‌دهی شده‌اند.
فهرست مطالب :
Front Matter....Pages -
SMT-Based Software Model Checking....Pages 1-3
Symbolic Object Code Analysis....Pages 4-21
Experimental Comparison of Concolic and Random Testing for Java Card Applets....Pages 22-39
Combining SPIN with ns-2 for Protocol Optimization....Pages 40-57
Automatic Generation of Model Checking Scripts Based on Environment Modeling....Pages 58-75
Model Checking: Cleared for Take Off....Pages 76-87
Context-Enhanced Directed Model Checking....Pages 88-105
Efficient Explicit-State Model Checking on General Purpose Graphics Processors....Pages 106-123
The SpinJa Model Checker....Pages 124-128
On the Virtue of Patience: Minimizing Büchi Automata....Pages 129-145
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance....Pages 146-161
Nevertrace Claims for Model Checking....Pages 162-179
A False History of True Concurrency: From Petri to Tools....Pages 180-186
Analysing Mu-Calculus Properties of Pushdown Systems....Pages 187-192
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains....Pages 193-211
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models....Pages 212-226
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation....Pages 227-244
One Stack to Run Them All....Pages 245-261
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent software.
پست ها تصادفی