دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Provably Correct Systems
دانلود کتاب سیستم های قابل اثبات صحیح
مشخصات کتاب
Provably Correct Systems
ویرایش: 1 نویسندگان: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.) سری: NASA Monographs in Systems and Software Engineering ISBN (شابک) : 9783319486277, 9783319486284 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 332 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب سیستم های قابل اثبات صحیح: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، مدل ها و اصول، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Provably Correct Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های قابل اثبات صحیح نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های قابل اثبات صحیح
از آنجایی که رایانه‌ها به طور فزاینده‌ای سیستم‌ها و خدماتی را که در زندگی روزمره خود به آنها وابسته هستیم، مانند حمل و نقل، ارتباطات و رسانه کنترل می‌کنند، اطمینان از عملکرد صحیح این سیستم‌ها از اهمیت بالایی برخوردار است. این کتاب شامل دوازده فصل و یک گزارش تاریخی است که در کارگاهی در لندن در سال 2015، به مناسبت بیست و پنجمین سالگرد پروژه تحقیقاتی بنیادی اروپایی ESPRIT «ProCoS» (سیستم‌های قابل اثبات صحیح) ارائه شد.
پروژه‌های ProCoS I و II در اتوماسیون تکنیک‌های راستی‌آزمایی پیشگام و سرعت بخشیدند، که منجر به طیف گسترده‌ای از کاربردها در بسیاری از مشاغل و بخش‌ها مانند هوافضا، الکترونیک، ارتباطات و خرده‌فروشی شد.
< p>موضوعات زیر پوشش داده شده است:- گزارشی تاریخی از پروژه ProCoS
- سیستم های ترکیبی
- درست بودن الگوریتم های همزمان < li>رابط ها و پیوند
- تأیید خودکار
- بررسی ادعاهای زمان اجرا
- روش های رسمی و نیمه رسمی < علمی=\ با پشتیبانی وب "\" جوامع
Provably Correct Systemsنمای کلی کاملی از ابتکار ProCoS در گذشته و حال را در اختیار محققان، طراحان و مهندسان قرار می دهد و تحولات و دیدگاه های فعلی را در این زمینه بررسی می کند.
توضیحاتی درمورد کتاب به خارجی
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ‘ProCoS’ (Provably Correct Systems).
The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.
The following topics are covered:
- An historical account of the ProCoS project
- Hybrid Systems
- Correctness of Concurrent Algorithms
- Interfaces and Linking
- Automatic Verification
- Run-time Assertions Checking
- Formal and Semi-Formal Methods
Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.
فهرست مطالب
Front Matter....Pages i-xviii
Front Matter....Pages 1-1
ProCoS: How It All Began – as Seen from Denmark....Pages 3-6
Front Matter....Pages 7-7
Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems....Pages 9-38
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems....Pages 39-58
Front Matter....Pages 59-59
A Proof Method for Linearizability on TSO Architectures....Pages 61-91
Front Matter....Pages 93-93
Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers....Pages 95-120
Towards Interface-Driven Design of Evolving Component-Based Architectures....Pages 121-148
Front Matter....Pages 149-149
Computing Verified Machine Address Bounds During Symbolic Exploration of Code....Pages 151-172
Engineering a Formal, Executable x86 ISA Simulator for Software Verification....Pages 173-209
Advances in Connection-Based Automated Theorem Proving....Pages 211-241
Front Matter....Pages 243-243
Run-Time Deadlock Detection....Pages 245-264
In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design....Pages 265-281
Front Matter....Pages 283-283
From ProCoS to Space and Mental Models–A Survey of Combining Formal and Semi-formal Methods....Pages 285-310
Front Matter....Pages 311-311
Provably Correct Systems: Community, Connections, and Citations....Pages 313-328
