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