دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب An Introduction to Practical Formal Methods Using Temporal Logic
دانلود کتاب معرفی روشهای رسمی عملی با استفاده از منطق زمانی
مشخصات کتاب
An Introduction to Practical Formal Methods Using Temporal Logic
ویرایش: 1
نویسندگان: Michael Fisher
سری:
ISBN (شابک) : 0470027886, 9780470027882
ناشر: Wiley
سال نشر: 2011
تعداد صفحات: 353
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب An Introduction to Practical Formal Methods Using Temporal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معرفی روشهای رسمی عملی با استفاده از منطق زمانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معرفی روشهای رسمی عملی با استفاده از منطق زمانی
نام \"منطق زمانی\" ممکن است پیچیده و دلهره آور به نظر برسد. اما در حالی که آنها سناریوهای بالقوه پیچیده را توصیف می کنند، منطق های زمانی اغلب مبتنی بر چند مفهوم ساده و اساسی هستند - که در این کتاب برجسته شده است. مقدمه‌ای بر روشهای رسمی عملی با استفاده از منطق زمانی مقدمه‌ای بر روشهای رسمی مبتنی بر منطق زمانی برای توسعه و آزمایش سیستم‌های محاسباتی پیچیده ارائه می‌کند. این روش ها توسط بسیاری از ابزارها، تکنیک ها و نتایج به خوبی توسعه یافته پشتیبانی می شوند که می توانند در طیف گسترده ای از سیستم ها به کار روند. اشاره‌ای به کار پیشرفته‌تر برای کمک به شفاف‌سازی و تشریح موضوعات مورد بحث. او در ادامه توضیح می دهد که چگونه می توان از این منطق برای مشخص کردن انواع سیستم های محاسباتی استفاده کرد و به مسائل مربوط به اتصال مشخصات، همزمانی، ارتباط و توانایی ترکیب نگاه می کند. او سپس تکنیک های مشخصات زمانی مانند تأیید قیاسی، تأیید الگوریتمی و اجرای مستقیم را برای توسعه و تأیید سیستم های محاسباتی تجزیه و تحلیل می کند. فصل آخر در مورد مطالعات موردی مشکلات بالقوه ای را که می تواند در طیف وسیعی از کاربردهای مهندسی در زمینه های رباتیک، سیگنال دهی راه آهن، طراحی سخت افزار، محاسبات در همه جا حاضر، عوامل هوشمند و امنیت اطلاعات رخ دهد، تحلیل می کند و توضیح می دهد که چگونه منطق زمانی می تواند دقت آنها را بهبود بخشد. و قابلیت اطمینان. مفاهیم زمانی را مدل می‌کند و از آنها برای تجزیه و تحلیل سیستم‌های محاسباتی استفاده می‌کند. یک رویکرد گسترده برای منطق زمانی در بسیاری از روشهای رسمی ارائه می‌کند - از جمله مشخصات، تأیید و پیاده‌سازی ابزارهای آزادانه در دسترس را بر اساس منطق‌های زمانی معرفی و توضیح می‌دهد و نشان می‌دهد که چگونه می‌توان آنها را به کار برد. مطالعه بیشتر در هر فصل، و همچنین یک وب سایت همراه که پیوندهایی به سیستم های اضافی بر اساس منطق زمانی و همچنین مطالب اضافی مرتبط با کتاب ارائه می دهد.
توضیحاتی درمورد کتاب به خارجی
The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems.Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability.Models temporal notions and uses them to analyze computational systemsProvides a broad approach to temporal logic across many formal methods - including specification, verification and implementationIntroduces and explains freely available tools based on temporal logics and shows how these can be appliedPresents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.
فهرست مطالب
Cover......Page 1
Front matter......Page 2
1. Introduction......Page 8
2. Temporal logic......Page 15
3. Specification......Page 55
4. Deduction......Page 90
5. Model checking......Page 133
6. Execution......Page 188
7. Selected applications......Page 245
8. Summary......Page 269
A. Review of classical logic......Page 271
B. Solutions to exercises......Page 308
References......Page 322
Index......Page 349
