7.5. חשוב לזכור

נקודות חשובות שחשוב לזכור (בעיקר במבחנים בנושא J ):

  • "להציע כלל הוכחה" = להציע אוסף תנאים שאם נוכיח את כולם אז המערכת מקיימת את הנדרשת.
  • ב-CTL אפשר לדבר על תתי עצים בהמשך הגרף. ב-LTL אי אפשר לבטא זאת.



אין תגובות!
שיתוף:
| עוד