5
क्या शुद्ध कार्यात्मक प्रोग्रामिंग भाषाओं के लिए कोई एनोटेट औपचारिक सत्यापन प्रणाली है?
ACSL (Ansi C Specification Language), C कोड के लिए एक विनिर्देश है, जो विशेष टिप्पणियों के साथ एनोटेट किया गया है, जो C कोड को औपचारिक रूप से सत्यापित करने की अनुमति देता है। मैंने इस पर ध्यान नहीं दिया है, लेकिन मुझे लगता है कि एसीएसएल सत्यापनकर्ताओं में इस्तेमाल …