אימות פורמלי

By: גיא אבני
Published in: 203.4223
SDGs : SDG 09  |  Units: Social Sciences  | Time: 2021/2022 Second Semester |  Link
Description: בקורס נלמד נושאים באימות פורמלי: אוטומטים מעל מילים אינסופיות, לוגיקהטמפורלית, משחקים על גרפים, שיטות להתמודדות עם בעית פיצוץ המצבים באימותפורמלי ונושאים נוספים.