مشخصات کتاب

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

ویرایش: 1 
نویسندگان: Alessandro Cimatti (auth.),  Jaco van de Pol,  Michael Weber (eds.)  
سری: Lecture Notes in Computer Science 6349 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642161643, 3642161642 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 272 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

کلمات کلیدی مربوط به کتاب نرم افزار چک کردن مدل: هفدهمین کارگاه بین المللی SPIN ، Enschede ، هلند ، 27-29 سپتامبر ، 2010. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نرم افزار چک کردن مدل: هفدهمین کارگاه بین المللی SPIN ، Enschede ، هلند ، 27-29 سپتامبر ، 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نرم افزار چک کردن مدل: هفدهمین کارگاه بین المللی SPIN ، Enschede ، هلند ، 27-29 سپتامبر ، 2010. مجموعه مقالات

این کتاب مجموعه مقالات داوری هفدهمین کارگاه بین‌المللی SPIN در نرم‌افزار بررسی مدل، SPIN 2010 است که در دانشگاه Twente، در Enschede، هلند، در سپتامبر 2010 برگزار شد. 13 مقاله کامل اصلاح‌شده همراه با 2 مقاله ابزار و 3 مقاله ارائه شده است. گفتگوهای دعوت شده به دقت بررسی و از بین 33 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد نظریه‌های مدول رضایت‌پذیری برای بررسی مدل، بررسی مدل در زمینه (شبیه‌سازی، آزمایش، UML)، پیاده‌سازی و عملکرد بررسی مدل، LTL و Büchi automata، توسعه‌های سیستم‌های حالت بی‌نهایت، و نرم‌افزار همزمان سازمان‌دهی شده‌اند.

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

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.

فهرست مطالب

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 -

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

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

دانلود کتاب Forms in Early Modern Utopia: The Ethnography of Perfection

دانلود کتاب Menschliches, Allzumenschliches I-II. Band 2 (Kritische Studienausgabe in 15 Einzelbänden)

دانلود کتاب WordPress To Go - How To Build A WordPress Website On Your Own Domain, From Scratch, Even If You Are A Complete Beginner

دانلود کتاب Table of integrals, series, and products

دانلود کتاب The Corporation