Proof and System-Reliability

از آنجایی که جامعه برای رفاه و سعادت خود به طور فزاینده ای به نرم افزار متکی می شود، نیاز مبرمی به ایجاد سیستم هایی وجود دارد که بتواند به آنها اعتماد کند. تجربه نشان داده است که اعتماد تنها از درک عمیق‌تر مسائل ناشی می‌شود، که به نوبه خود تنها در صورتی می‌تواند حاصل شود که مبتنی بر پایه‌های منطقی درست باشد.
این جلد شامل مشارکت‌های محققان برجسته در رشته‌های مهم محاسبات و علوم اطلاعات، ریاضیات، منطق و پیچیدگی است. همه مشارکت‌ها مستقل هستند، با هدف درک و جامعیت. این جلد همچنین حاوی نکات مقدماتی در مورد مسائل فنی، بررسی های مختصر، مقدمه ها، و نتایج مختلف جدید و دیدگاه های جدید است.

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations.
This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.