הקורס יציג שיטות באימות וניתוח של תוכנה וסינתזה של תוכנה: ניתוח סטטי, ניתוח זרימת מידע, ניתוח זרימת בקרה, סמנטיקה ביצועית, פירוש מופשט ותחומים נומריים, פותרי SAT/SMT, הרצה סימבולית, סינתזה של תוכנה, סינתזה מנייתית, תכנות ע"י דוגמאות, סינתזה מונחית דוגמאות נגדיות, קוד גדול. תוצאות למידה: בסיום הקורס הסטודנט יהיה מסוגל: 1. להסביר שיטות שונות להבטחת נכונות של תוכנה. 2. להבין איך להשתמש בשיטות אלו עבור מערכות תוכנה מעשיות. 3. להבין את היתרונות המעשיים והמגבלות של השיטות השונות.

פקולטה: הנדסת חשמל ומחשבים
|תואר ראשון |תארים מתקדמים
מקצועות קדם

44268 - מבוא למבני נתונים ואלגוריתמים או 234218 - מבני נתונים 1

מידע סמסטריאלי

שעות שבועיות

3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול

אחראים

דר. דרקסלר כהן דנה

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

מבחנים
מועד א: 04-09-2024 מועד ב: 30-09-2024
קבוצות רישום
11
הרצאה ראשון 12:30 - 14:30 בנ.מאייר 353 | דר. דרקסלר כהן דנה
תרגול ראשון 14:30 - 15:30 בנ.מאייר 353 | מר יובילר תם
שעות שבועיות

3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול

אחראים

דר. דרקסלר כהן דנה

הערות
  • מתרגל: תם יובילר
  • בודקי תרגילים: תם יובילר וענאן כבהא

מבחנים
מועד א: 19-02-2023 מועד ב: 20-03-2023
קבוצות רישום
11
הרצאה שלישי 11:30 - 13:30 בנ.מאייר 353 | דר. דרקסלר כהן דנה
תרגול שלישי 13:30 - 14:30 בנ.מאייר 353 | מר יובילר תם
שעות שבועיות

3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול

אחראים

דר. דרקסלר כהן דנה

הערות
  • ההרצאה והתרגול יתקיימו במאייר 1061.
  • מתרגלים: ד"ר דנה דרקסלר כהן וענאן כבהא
  • בודק תרגילים: ענאן כבהא

מבחנים
מועד א: 02-02-2022 13:00 - 16:00
  • אולמן 603.
מועד ב: 01-03-2022 09:00 - 12:00
  • אולמן 309.
מועד ג: 22-03-2022 17:00 - 20:00
  • אולמן 102.

קבוצות רישום
11
הרצאה שני 11:30 - 13:30 | דר. דרקסלר כהן דנה
תרגול שני 13:30 - 14:30 | דר. דרקסלר כהן דנה | מר כבהא ענאן