חיפוש חדש  חזור
מידע אישי לתלמיד

שנה"ל תשע"ט

  סמינר באימות פורמאלי
  Seminar in Formal Verification                                                                       
0368-3115
מדעים מדויקים
קבוצה 01
סמ'  א'1400-1600007שרייבר - מתמטיקהסמינר ד"ר שוהם בוכבינדר שרון
ש"ס:  2.0

סילבוס מקוצר

הסמינר יעסוק באימות פורמלי. נדון בלוגיקות טמפורליות שונות, אלגוריתמי בדיקת מודל עבור הלוגיקות השונות וטכניקות שונות להתמודדות עם בעיית התפוצצות המצבים המתעוררת בבדיקת מודל.

דרישת קדם: לוגיקה למדעי המחשב

להצהרת הנגישות


אוניברסיטת ת