آموزش استدلال خودکار: بررسی مدل نمادین (Symbolic Model Checking)
دانلود Automated Reasoning: Symbolic Model Checking
در دوره استدلال خودکار: بررسی مدل نمادین، با نحوه تأیید خودکار ویژگیهای سیستمهای فعال و برنامهها با استفاده از منطق CTL و BDDها آشنا شوید.
برای دریافت و مشاهده جزییات بیشتر این دوره کلیک کنید