دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 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 در نرم افزار بررسی مدل، 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 -