درستیسنجی دقیق (Formal Verification) با NuSMV
415 بار بازدید -
3 سال پیش
-
آشنایی با شیوه نصب و
آشنایی با شیوه نصب و راهاندازی، مدلسازی سیستمهای سنکرون/آسنکرون و انجام درستیسنجی دقیق (رسمی) یا Formal Verification با استفاده از ابزار NuSMV.
درس طراحی و ارزیابی سیستمهای بیدرنگ و نهفته.
مقطع کارشناسی ارشد نیمسال اول ۱۴۰۱-۱۴۰۰.
ارائه دهنده: احسان رسولپور
3 سال پیش
در تاریخ 1400/09/11 منتشر شده
است.
415
بـار بازدید شده