دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
دانلود کتاب نرم افزار چک کردن مدل: بیستمین سمپوزیوم بین المللی ، SPIN 2013 ، استونی بروک ، نیویورک ، ایالات متحده ، 8-9 ژوئیه ، 2013. مجموعه مقالات
مشخصات کتاب
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
ویرایش: 1 نویسندگان: Dirk Beyer, Philipp Wendler (auth.), Ezio Bartocci, C. R. Ramakrishnan (eds.) سری: Lecture Notes in Computer Science 7976 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642391750, 9783642391767 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 386 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب نرم افزار چک کردن مدل: بیستمین سمپوزیوم بین المللی ، SPIN 2013 ، استونی بروک ، نیویورک ، ایالات متحده ، 8-9 ژوئیه ، 2013. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار چک کردن مدل: بیستمین سمپوزیوم بین المللی ، SPIN 2013 ، استونی بروک ، نیویورک ، ایالات متحده ، 8-9 ژوئیه ، 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار چک کردن مدل: بیستمین سمپوزیوم بین المللی ، SPIN 2013 ، استونی بروک ، نیویورک ، ایالات متحده ، 8-9 ژوئیه ، 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیستمین سمپوزیوم بین‌المللی نرم‌افزار بررسی مدل، SPIN 2013 است که در استونی بروک، نیویورک، ایالات متحده آمریکا، در جولای 2013 برگزار شد. 18 مقاله معمولی، 2 مقاله نمایش ابزار، و 2 مقاله دعوت شده به دقت بررسی و از بین 40 مورد ارسالی انتخاب شد. تمرکز سنتی SPIN بر روی تکنیک‌های بررسی مدل حالت صریح، همانطور که در SPIN و سایر ابزارهای مرتبط پیاده‌سازی می‌شود، بوده است. در حالی که چنین تکنیک‌هایی همچنان مورد توجه این کارگاه هستند، دامنه آن در سال‌های اخیر گسترش یافته و شامل تکنیک‌هایی برای تأیید و آزمایش رسمی سیستم‌های نرم‌افزاری به طور کلی شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
فهرست مطالب
Front Matter....Pages -
Reuse of Verification Results....Pages 1-17
Proving Properties of Concurrent Programs....Pages 18-23
Verifying a Quantitative Relaxation of Linearizability via Refinement....Pages 24-42
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software....Pages 43-60
On-the-Fly Control Software Synthesis....Pages 61-80
Compositional Approach to Suspension and Other Improvements to LTL Translation....Pages 81-98
Regression Verification Using Impact Summaries....Pages 99-116
Abstraction-Based Guided Search for Hybrid Systems....Pages 117-134
Probabilistic Verification of Coordinated Multi-robot Missions....Pages 135-153
Synthesizing Controllers for Automation Tasks with Performance Guarantees....Pages 154-159
Specification and Validation of Link Reversal Routing via Graph Transformations....Pages 160-177
Local Model Checking of Weighted CTL with Upper-Bound Constraints....Pages 178-195
COMPL e T e − A COMmunication Protocol vaLidation Toolchain....Pages 196-208
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms....Pages 209-226
Guard-Based Partial-Order Reduction....Pages 227-245
On the Synergy of Probabilistic Causality Computation and Causality Checking....Pages 246-263
Mining Sequential Patterns to Explain Concurrent Counterexamples....Pages 264-281
Automatic Equivalence Checking of UF+IA Programs....Pages 282-300
Expression Reduction from Programs in a Symbolic Binary Executor....Pages 301-319
Model Checking Unbounded Concurrent Lists....Pages 320-340
Property-Driven Benchmark Generation....Pages 341-357
Error-Completion in Interface Theories....Pages 358-375
Back Matter....Pages -
