אימות פורמלי

מאת: גיא אבני
פורסם ב: 203.4223
תיאור: בקורס נלמד נושאים באימות פורמלי: אוטומטים מעל מילים אינסופיות, לוגיקהטמפורלית, משחקים על גרפים, שיטות להתמודדות עם בעיתפיצוץ המצבים באימותפורמלי ונושאים נוספים.
SDGs : SDG 09  |  יחידות: מדעי החברה  | מועד: 2021/2022 סמסטר שני |  קישור