توضیحات
Fundamentals of Model Checking Specialization، دوره آموزش تخصصی مبانی بررسی مدل توسط آکادمی Coursera منتشر شده است.این تخصص توسط دانشگاه کلرادو بولدر ارائه شده است. راستیآزمایی صوری برای سیستمهای محاسباتی قابل اعتماد را یاد بگیرید و با استفاده از تکنیکهای مدل چکینگ، صحت سیستمها را مدلسازی، بررسی و تضمین کنید. این تخصص با معرفی مبانی راستیآزمایی صوری، شامل مدلسازی برای راستیآزمایی، منطق زمانی و روشهای پیشرفته مدل چکینگ است. با مثالهای عملی و تمرینهای کاربردی، مهارت تحلیل، مشخصسازی و راستیآزمایی رفتار سیستمهای سختافزاری و نرمافزاری را به دست میآورید. در پایان این برنامه، میتوانید مدل چکینگ را برای تضمین قابلیت اطمینان و صحت در سیستمهای محاسباتی واقعی به کار بگیرید.