آموزش استدلال خودکار: بررسی مدل نمادین (Symbolic Model Checking) - آخرین آپدیت

بررسی مدل CTL CTL model checking

• مقدمه کلی General introduction

• بررسی مدل (Model Checking) Model Checking

• منطق درخت محاسباتی (CTL) Computation Tree Logic

• الگوریتم منطق درخت محاسباتی Computation Tree Logic Algorithm

• مثال منطق درخت محاسباتی Computation Tree Logic Example

نمودارهای تصمیم دوتایی (BDD) بخش اول BDDs part 1

• نمایش توابع بولی Representing Boolean Functions

• درخت‌های تصمیم Decision Trees

• درخت‌های تصمیم ۲ Decision Trees 2

• نمودارهای تصمیم دوتایی (BDDs) BDDs

نمودارهای تصمیم دوتایی (BDD) بخش دوم BDDs part 2

• مثال‌های BDD BDD Examples

• الگوریتم BDD BDD Algorithm

• الگوریتم BDD ۲ BDD algorithm 2

• مثال الگوریتم BDD BDD Algorithm Example

بررسی مدل نمادین مبتنی بر BDD BDD based symbolic model checking

• الگوریتم BDD در CTL BDD Algorithm CTL

• یک مثال: روباه‌ها و خرگوش‌ها An example: foxes and rabbits

• بررسی بن‌بست (Deadlock) در شبکه Deadlock checking in a network

• شبکه‌ها، BMC و نتیجه‌گیری Networks, BMC, conclusions