מידע על אימות אוטומטי של מער' תכנה וחומרה
שם מקצוע
אימות אוטומטי של מער' תכנה וחומרה
מספר מקצוע
236345
אתר הקורס
קטלוג
סילבוס
קורס זה מהווה המשך והעמקה של קורס המבוא לאימות תוכנה לכיוון בדיקת- מודלים. חזרה על לוגיקות טמפורליות כשפות מפרט. השוואת כוח הביטוי של שפות טמפורליות. אלגוריתמים לבדיקת מודל של לוגיקת זמן לינארי (LTL). אוטומטים מעל מילים אינסופיות ושימושם עבור בדיקת מודל LTL. שקילויות ויחסי סדר של מערכות ביחס למפרטים. שיטות שונות להתגבר על בעית התפוצצות המצבים, כולל אבסטרקציה ומודולריות.
מקצועות קדם
לא ניתן לברר מידע סמסטריאלי לסמסטר 201902
מידע סמסטריאלי אביב 2019/20(תש"ף)
עבור לסמסטר
המקצוע לא נלמד בסמסטר זה