آموزش مدلچک کردن با استفاده از SAT و SMT
دانلود Model Checking with SAT and SMT
آموزش اصول مدلچک کردن با استفاده از تکنیکهای حل SAT (ارضای گزارهای) و SMT (ارضای تحت تئوری) برای مهندسان کامپیوتر و متخصصان سیستم.
برای دریافت و مشاهده جزییات بیشتر این دوره کلیک کنید