הועלה לאתר:  
מספר עמודים: 120
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

מבוא לאימות תוכנה

ספר אלקטרוני מאת: ניר אדר

6.4.4. הוספת הוגנות ל-CTL

נגדיר שפה לוגית חדשה plot:$CT{L^F}$ בעלת אותו Syntax כמוplot:$CTL$.

תגיות המסמך:

לפרק הקודם6.4.3. סיבוכיות בדיקת מודל
לפרק הבא6.4.4.1. הגדרות ודוגמאות ראשונות
אין תגובות!
שיתוף:
| עוד