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