एक औपचारिक प्रदर्शन जो यह प्रदर्शित करता है कि एक सिस्टम या घटक अपनी विनिर्दिष्ट आवश्यकताओं का अनुपालन करता है और संक्रियात्मक प्रयोग के लिए स्वीकार्य है.
परिचालन और गैर-परिचालन उपयोग के लिए अलग-अलग निरीक्षण किए जाते हैं।