निम्नलिखित में से कौन-सी औपचारिक कार्यक्रम सत्यापन की विशेषता है?
1
यह सुनिश्चित करता है कि कार्यक्रम उपयोगकर्ता की आवश्यकताओं को पूरा करता है।
2
गणितीय विनिर्देशों के विरुद्ध कार्यक्रम को सत्यापित करता है।
3
वास्तविक दुनिया की स्थितियों में कार्यक्रम का परीक्षण करता है।
4
कार्यक्रम के प्रदर्शन का मूल्यांकन करता है।