دانلود کتاب Handbook of Model Checking
49,000 تومان
راهنمای بررسی مدل
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer |
| تعداد صفحه | 1210 / 1201 |
| حجم فایل | 10.90 مگابایت |
| کد کتاب | 3319105744 , 9783319105741 |
| نویسنده | Edmund M. Clarke, Helmut Veith, Roderick Bloem (eds.), Thomas A. Henzinger |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2018 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry.
The editors and authors of this handbook are among the world’s leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic.
The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.
ترجمه فارسی (ترجمه ماشینی)
بررسی مدل یک روش به کمک رایانه برای تجزیه و تحلیل سیستمهای دینامیکی است که میتواند توسط سیستمهای انتقال حالت مدلسازی شود. چک کردن مدل با برگرفته از سنت های تحقیقاتی در منطق ریاضی، زبان های برنامه نویسی، طراحی سخت افزار و علوم کامپیوتر نظری، اکنون به طور گسترده ای برای تأیید سخت افزار و نرم افزار در صنعت استفاده می شود.
ویراستاران و نویسندگان این کتاب راهنما از جمله محققان برجسته جهان در این حوزه هستند و 32 فصل ارائه شده نمای کاملی از منشاء، نظریه و کاربرد بررسی مدل ارائه میدهند. به طور خاص، ویراستاران پیشرفتها در این حوزه و فصلهای کتاب راهنما را بر اساس دو موضوع تکراری که بخش عمدهای از دستور کار تحقیق را هدایت کردهاند، طبقهبندی میکنند: چالش الگوریتمی، یعنی طراحی الگوریتمهای بررسی مدل که در مقیاس واقعی زندگی میکنند. چالش ها و مسائل؛ و چالش مدلسازی، یعنی گسترش فرمالیسم فراتر از ساختارهای کریپکی و منطق زمانی.
این کتاب برای محققان و دانشجویان فارغالتحصیل درگیر با توسعه روشهای رسمی و ابزارهای تأیید ارزشمند خواهد بود.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.