آموزش برابری‌ها، انتزاع و کاهش ترتیب جزئی - آخرین آپدیت

برابری‌های بیسیمولاسیون Bisimulation Equivalences

• مقدمه Introduction

• برابری بیسیمولاسیون Bisimulation Equivalence

• ویژگی‌های بیسیمولاسیون Bisimulation Properties

• خارج‌قسمت بیسیمولاسیون Bisuimulation Quotent

• الگوریتم نانوایی The Bakery Algorithm

• برابری CTL CTL* Equivalence

• مثال برابری CTL CTL* Equivalence Example

• مقدمه‌ای بر الگوریتم‌های خارج‌قسمت بیسیمولاسیون Introduction to Bisimulation-Quotienting Algorithms

• تعیین افراز اولیه Determining the Initial Partition

• بهبود افرازها Refining Partitions

• اولین الگوریتم بهبود افراز A First Partition Refinement Algorithm

• بهبود کارایی An Efficiency Improvement

روابط و برابری‌های شبیه‌سازی Simulation Relations and Equivalences

• ترتیب شبیه‌سازی Simulation Order

• کاربردهای شبیه‌سازی The Use of Simulations

• برابری شبیه‌سازی Simulation Equivalence

• برابری بیسیمولاسیون، شبیه‌سازی و اثر (Trace) Bisimulation, Simulation, and Trace Equivalence

• بخش جهانی CTL Universal Fragment of CTL*

• بخش وجودی CTL Existential Fragment of CTL*

• مقدمه‌ای بر الگوریتم‌های خارج‌قسمت شبیه‌سازی Introduction to Simulation-Quotienting Algorithms

• بررسی پیش‌ترتیب شبیه‌سازی Simulation Preorder Checking

• اولین مشاهده و الگوریتم بهبود یافته First Observation and Improved Algorithm

• بهبودهای تکمیلی Further Improvements

روابط تپق (Stutter) و بیسیمولاسیون Stutter Relations and Bisimulation

• انگیزه و هدف Motivation

• برابری اثر تپق (Stutter Trace) Stutter Trace Equivalence

• برابری اثر تپق و LTL\O Stutter Trace and LTL\O Equivalence

• تعریف و مثال‌های بیسیمولاسیون تپق Definition and Examples of Stutter Bisimulation

• بیسیمولاسیون تپق حساس به واگرایی Divergence-Sensitive Stutter Bisimulation

• بیسیمولاسیون تپق و برابری CTL*\O Stutter Bisimulation and CTL*\O Equivalence

• خارج‌قسمت بیسیمولاسیون تپق Stutter Bisimulation Quotienting

• خارج‌قسمت بیسیمولاسیون تپق حساس به واگرایی Divergence-Sensitive Stutter Bisimulation Quotienting

• جمع‌بندی Summary

کاهش ترتیب جزئی Partial Order Reduction

• مقدمه‌ای بر کاهش ترتیب جزئی Introduction to Partial Order Reduction

• استقلال اقدامات Independence of Actions

• مثال‌های استقلال اقدامات Independence of Actions Examples

• جابجایی اقدامات مستقل Permuting Independent Actions

• رویکرد زمان خطی The Linear-Time Approach

• محدودیت‌های مجموعه کافی (Ample Set) Ample Set Constraints

• کاهش ترتیب جزئی پویا Dynamic Partial Order Reduction

• محاسبه مجموعه‌های کافی Computing Ample Sets

• رویکرد زمان شاخه‌ای The Branching-Time Approach