2521
GB
Formal verification mathematically?
IN
गणितीय रूप से औपचारिक सत्यापन?
A
Tests software empirically
सॉफ्टवेयर का अनुभवजन्य परीक्षण करता है
B
Proves software correctness against specification
विशिष्टता के विरुद्ध सॉफ़्टवेयर की शुद्धता साबित करता है
C
Benchmarks performance
बेंचमार्क प्रदर्शन
D
Reviews code manually
मैन्युअल रूप से कोड की समीक्षा करें
✅ Correct Answer:
💡 Explanation / व्याख्या
Explanation (English)
Formal verification uses mathematical proofs to verify software or hardware correctness.
व्याख्या (हिन्दी)
औपचारिक सत्यापन सॉफ़्टवेयर या हार्डवेयर की शुद्धता को सत्यापित करने के लिए गणितीय प्रमाणों का उपयोग करता है।