Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures

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

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.
This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.