دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
دانلود کتاب نرم افزار چک کردن مدل: نوزدهمین کارگاه بین المللی ، SPIN 2012 ، آکسفورد ، انگلستان ، 23-24 ژوئیه ، 2012. مجموعه مقالات
مشخصات کتاب
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
ویرایش: 1 نویسندگان: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.) سری: Lecture Notes in Computer Science 7385 ISBN (شابک) : 9783642317583, 3642317596 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 271 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب نرم افزار چک کردن مدل: نوزدهمین کارگاه بین المللی ، SPIN 2012 ، آکسفورد ، انگلستان ، 23-24 ژوئیه ، 2012. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار چک کردن مدل: نوزدهمین کارگاه بین المللی ، SPIN 2012 ، آکسفورد ، انگلستان ، 23-24 ژوئیه ، 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار چک کردن مدل: نوزدهمین کارگاه بین المللی ، SPIN 2012 ، آکسفورد ، انگلستان ، 23-24 ژوئیه ، 2012. مجموعه مقالات
این کتاب مجموعه مقالات نوزدهمین کارگاه بین المللی SPIN در مورد نرم افزار بررسی مدل، SPIN 2012 است که در ژوئیه 2012 در آکسفورد، انگلستان برگزار شد. به دقت بررسی و از بین 30 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در مورد تکنیک های بررسی مدل گروه بندی شده اند. بررسی مدل موازی؛ مطالعات موردی؛ بررسی مدل برای همزمانی؛ و نمایش ابزار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
فهرست مطالب
Front Matter....Pages -
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials....Pages 1-6
High-Coverage Symbolic Patch Testing....Pages 7-21
Towards Automatic Synthesis of Software Verification Tools....Pages 22-22
Mining Models....Pages 23-23
Counterexample Explanation by Anomaly Detection....Pages 24-42
Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue....Pages 43-61
A Compositional Minimization Approach for Large Asynchronous Design Verification....Pages 62-79
On Parallel Software Verification Using Boolean Equation Systems....Pages 80-97
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking....Pages 98-116
Gossiping Girls Are All Alike....Pages 117-136
Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid....Pages 137-154
Parallelizing the Spin Model Checker....Pages 155-171
Parallel Model Checking Using Abstraction....Pages 172-190
McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking....Pages 191-207
Parameterized Model Checking of Fine Grained Concurrency....Pages 208-226
mctau: Bridging the Gap between Modest and UPPAAL....Pages 227-233
FAuST : A Framework for Formal Verification, Automated Debugging, and Software Test Generation....Pages 234-240
Model Checking DSL-Generated C Source Code....Pages 241-247
SMTInterpol: An Interpolating SMT Solver....Pages 248-254
S2N: Model Transformation from SPIN to NuSMV....Pages 255-260
Back Matter....Pages -
