آموزش اعتبارسنجی سیستم: اتوماتا و معادل‌های رفتاری - آخرین آپدیت

مدل‌سازی رفتاری Behavioural modelling

• خوش‌آمدگویی Welcome

• اتوماتا به عنوان مدلی برای رفتار An automaton as a model for behaviour

• رفتار غیرقطعی Non-deterministic behaviour

• تعریف اتوماتا The definition of an automaton

• گرگ، بز و کلم The wolf, the goat and the cabbage

معادل‌های رفتاری پایه Basic behavioural equivalences

• معادل‌های رفتاری Behavioural equivalences

• هم‌ارزی قوی (Strong bisimulation) Strong bisimulation

• معادل رد (Trace equivalence) Trace equivalence

• عمل داخلی یا عمل τ The internal or τ -action.

• هم‌ارزی شاخه‌ای (Branching bisimulation) Branching bisimulation

• هم‌ارزی شاخه‌ای ریشه‌دار Rooted branching bisimulation

معادل‌های رفتاری پیشرفته More behavioural equivalences

• پروتکل بیت متناوب The alternating bit protocol

• هم‌ارزی شاخه‌ای حفظ‌کننده واگرایی Divergence preserving branching bisimulation

• معادل رد ضعیف Weak trace equivalence

• هم‌ارزی ضعیف (Weak bisimulation) Weak bisimulation

• معادل زبان، شکست و رد کامل شده Language, failure, and completed trace equivalence

• چه زمانی از کدام معادل رفتاری استفاده کنیم When to use which behavioural equivalence

• سیستم‌های انتقال با داده، زمان و احتمالات Transition systems with data, time and probabilities