בּדיקה צולֶבֶת מחשבים ומערכות מידע
לועזית: cross-check

בדיקת אמיתותה של תוצאה מתמטית על־ידי חישובה ביותר מדרך אחת