קוד תקן: 07.07.31
total correctness
נכונות כוללת

 
הוכחת נכונות, המציינת שטענות התנאי של פלט תוכנית נובעות לוגית מתוך טענות התנאי של הקלט שלה ומצעדי עיבוד; וכן שבעֵת סיומה, התוכנית עומדת בכל תנאֵי הקלט המוגדרים.

[#8465] נוסף בתאריך 17-08-2006

« המונחים הקודמים
נכונות חלקית
partial correctness
מתג
switch
משתנה משותף
shared variable
משימת אב
master task
 המונחים הבאים »
נסוג בעקיפין
indirectly recursive
נסוג ישירות
directly recursive
נסיגה הדדית
simultaneous recursion
נעילה
lockout

תגובות (0)
שנה » ניווט
דרכונט
גישה לאתר דרכונט
לא מחובר. להתחברות:
דוא"ל:
סיסמה:
שכחתי סיסמה שכחתי סיסמה
משתמש חדש משתמש חדש
 זכור אותי  כן לא
Top10
מבוקשים
חדשים
אחרונים