مشخصات کتاب

Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

ویرایش: 1 
نویسندگان: Jasmin Fisher (auth.),  Alex Groce,  Madanlal Musuvathi (eds.)  
سری: Lecture Notes in Computer Science 6823 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642223068, 3642223060 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2011 
تعداد صفحات: 203 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

کلمات کلیدی مربوط به کتاب نرم افزار بررسی مدل: هجدهمین کارگاه بین المللی SPIN، Snowbird، UT، ایالات متحده آمریکا، 14-15 جولای، 2011. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نرم افزار بررسی مدل: هجدهمین کارگاه بین المللی SPIN، Snowbird، UT، ایالات متحده آمریکا، 14-15 جولای، 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نرم افزار بررسی مدل: هجدهمین کارگاه بین المللی SPIN، Snowbird، UT، ایالات متحده آمریکا، 14-15 جولای، 2011. مجموعه مقالات

این کتاب مجموعه مقالات داوری هجدهمین کارگاه بین المللی SPIN در نرم افزار بررسی مدل، SPIN 2011 است که در اسنوبرد، UT، ایالات متحده آمریکا، در ژوئیه 2011 برگزار شد. بررسی و از بین 29 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در مورد انتزاعات و کاهش فضای حالت سازماندهی شده اند. استراتژی های جستجو؛ کدگذاری و برنامه های افزودنی PROMELA. و کاربردهای بررسی مدل

توضیحاتی درمورد کتاب به خارجی

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.

فهرست مطالب

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 -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Linear Robust Control (Prentice Hall Information and System Sciences)

دانلود کتاب Texts, Facts and Femininity: Exploring the Relations of Ruling

دانلود کتاب The Fresh Honey Cookbook: 84 Recipes from a Beekeeper's Kitchen

دانلود کتاب Стеклодувная мастерская

دانلود کتاب Manos que curan: El libro guía de las curaciones espirituales