प्रोग्राम को एक बार भी चलाए बिना यह कैसे साबित किया जा सकता है कि उसमें 'एक भी बग नहीं है'? औपचारिक सत्यापन (Formal Verification) का विज्ञान
Tags
2 पेज
Formal-Verification
टाइप थ्योरी और करी-हावर्ड आइसोमोर्फिज्म: प्रस्ताव = प्रकार, प्रमाण = प्रोग्राम का गहरा सामंजस्य
