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