دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
دانلود کتاب نرم افزار چک کردن مدل: بیست و سومین سمپوزیوم بین المللی ، SPIN 2016 ، همزمان با ETAPS 2016 ، آیندهوون ، هلند ، 7-8 آوریل 2016 ، مجموعه مقالات
مشخصات کتاب
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
ویرایش: 1
نویسندگان: Dragan Bošnački. Anton Wijs (eds.)
سری: Lecture Notes in Computer Science 9641
ISBN (شابک) : 9783319325811, 9783319325828
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 260
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 60,000
کلمات کلیدی مربوط به کتاب نرم افزار چک کردن مدل: بیست و سومین سمپوزیوم بین المللی ، SPIN 2016 ، همزمان با ETAPS 2016 ، آیندهوون ، هلند ، 7-8 آوریل 2016 ، مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار چک کردن مدل: بیست و سومین سمپوزیوم بین المللی ، SPIN 2016 ، همزمان با ETAPS 2016 ، آیندهوون ، هلند ، 7-8 آوریل 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار چک کردن مدل: بیست و سومین سمپوزیوم بین المللی ، SPIN 2016 ، همزمان با ETAPS 2016 ، آیندهوون ، هلند ، 7-8 آوریل 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و سومین سمپوزیوم بین‌المللی نرم‌افزار بررسی مدل، SPIN 2016، در آیندهوون، هلند، در آوریل 2016 برگزار شد.
16 مقاله ارائه‌شده شامل موارد زیر است. 11 مقاله معمولی، 1 مقاله ایده، و 4 نمایش ابزار، به دقت بررسی و از بین 27 مورد ارسالی انتخاب شدند. موضوعات تحت پوشش عبارتند از تکنیک های بررسی مدل، ابزار بررسی مدل، معناشناسی سیستم همزمان، بررسی هم ارزی، منطق های زمانی، سیستم های احتمالی، ترکیب برنامه و استراتژی با استفاده از بررسی مدل، و مطالعات موردی تأیید.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.
The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
فهرست مطالب
Front Matter....Pages I-XVI
Automated Analysis of Asynchronously Communicating Systems....Pages 1-18
Symbolic Game Semantics for Model Checking Program Families....Pages 19-37
Compositional Semantics and Analysis of Hierarchical Block Diagrams....Pages 38-56
Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing....Pages 57-77
River Basin Management with Spin ....Pages 78-96
ESBMC \(^{QtOM}\) : A Bounded Model Checking Tool to Verify Qt Applications....Pages 97-103
Autonomous Agent Behaviour Modelled in PRISM – A Case Study....Pages 104-110
Certification for \(\mu \) -Calculus with Winning Strategies....Pages 111-128
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization....Pages 129-146
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems....Pages 147-164
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking....Pages 165-181
smid: A Black-Box Program Driver....Pages 182-188
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators....Pages 189-207
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration....Pages 208-213
A Tool Integrating Model Checking into a C Verification Toolset....Pages 214-224
Fair Testing and Stubborn Sets....Pages 225-243
Back Matter....Pages 245-245
