7.4.3. LTL

נוסחת מסלול LTL היא מהצורה:

  • אם נוסחאות מסלול LTL, אז גם הן נוסחאות מסלול LTL.

נוסחת LTL היא מהצורה כאשר היא נוסחת מסלול LTL.

קיצורים: הקיצורים ב-LTL זהים לאלו של CTL*.

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