دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
دانلود کتاب نرم افزار بررسی مدل: 22 سمپوزیوم بین المللی، SPIN 2015، Stellenbosch، آفریقای جنوبی، 24 تا 26 آگوست 2015، Proceedings
مشخصات کتاب
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
ویرایش: 1
نویسندگان: Bernd Fischer. Jaco Geldenhuys (eds.)
سری: Lecture Notes in Computer Science 9232
ISBN (شابک) : 9783319234038, 9783319234045
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 322
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب نرم افزار بررسی مدل: 22 سمپوزیوم بین المللی، SPIN 2015، Stellenbosch، آفریقای جنوبی، 24 تا 26 آگوست 2015، Proceedings: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار بررسی مدل: 22 سمپوزیوم بین المللی، SPIN 2015، Stellenbosch، آفریقای جنوبی، 24 تا 26 آگوست 2015، Proceedings نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار بررسی مدل: 22 سمپوزیوم بین المللی، SPIN 2015، Stellenbosch، آفریقای جنوبی، 24 تا 26 آگوست 2015، Proceedings
این کتاب مجموعه مقالات داوری بیست و یکمین سمپوزیوم بین‌المللی نرم‌افزار بررسی مدل، SPIN 2015 است که در Stellenbosch، آفریقای جنوبی، در آگوست 2015 برگزار شد. 18 مقاله ارائه شده - 14 مقاله معمولی و 4 مقاله ابزار یا ایده جدید - از بین 27 مورد ارسالی به دقت بررسی و انتخاب شد. آنها حوزه بین پیشرفت های نظری و ملاحظات عملی را پوشش می دهند و در بخش های موضوعی مانند انتزاع، پالایش، ترجمه سازماندهی می شوند. بوچی خودکار و هش. سیستم های جاسازی شده؛ اکتشافی و معیارها؛ رویکردهای مبتنی بر SAT/SMT؛ اعتبار سنجی و تأیید نرم افزار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.
فهرست مطالب
Front Matter....Pages I-XVIII
Front Matter....Pages 1-1
String Analysis for Vulnerability Detection and Repair....Pages 3-9
Front Matter....Pages 11-11
ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems....Pages 13-19
Refinement Selection....Pages 20-38
From Helena Ensemble Specifications to Promela Verification Models....Pages 39-45
Front Matter....Pages 47-47
Fast, Dynamically-Sized Concurrent Hash Table....Pages 49-65
On Refinement of Büchi Automata for Explicit Model Checking....Pages 66-83
Practical Stutter-Invariance Checks for \(\omega \) -Regular Languages....Pages 84-101
Front Matter....Pages 103-103
MESS: Memory Performance Debugging on Embedded Multi-core Systems....Pages 105-125
DSVerifier: A Bounded Model Checking Tool for Digital Systems....Pages 126-131
Runtime Verification of Expected Energy Consumption in Smartphones....Pages 132-149
Front Matter....Pages 151-151
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions....Pages 153-159
Benchmarking and Resource Measurement....Pages 160-178
PickLock: A Deadlock Prediction Approach under Nested Locking....Pages 179-199
Front Matter....Pages 201-201
Symbolic Causality Checking Using Bounded Model Checking....Pages 203-221
Model Counting for Complex Data Structures....Pages 222-241
Parallel SAT-Based Parameterised Three-Valued Model Checking....Pages 242-259
Front Matter....Pages 261-261
Comparative Analysis of Leakage Tools on Scalable Case Studies....Pages 263-281
Family-Based Model Checking Without a Family-Based Model Checker....Pages 282-299
IC-Cut: A Compositional Search Strategy for Dynamic Test Generation....Pages 300-318
Back Matter....Pages 319-319
نظرات کاربران
کتاب های تصادفی
دانلود کتاب State and Society in the Early Middle Ages The Middle Rhine Valley, 400-1000
دانلود کتاب The Moral Animal
دانلود کتاب Comment le jeune et ambitieux EINSTEIN s’est approprié la relativité restreinte de POINCARE
دانلود کتاب Poisoned for pennies: the economics of toxics and precaution
