ट्यूरिंग अवार्ड प्राप्त तार्किक कोड सत्यापन विधि

ट्यूरिंग पुरस्कार के विजेता, कंप्यूटर विज्ञान में प्रमुख विज्ञान पुरस्कार, एडमंड क्लार्क, एलेन एमर्सन और जोसेफ सिपाकिस थे, मॉडल जाँच विधि के निर्माता यह सत्यापित करने के लिए उपयोग किए गए थे कि क्या मॉडल की जाँच हो रही है इस सूत्र के मॉडल द्वारा यह तार्किक संरचना (प्रोग्राम या हार्डवेयर)। प्रोग्राम कोड का विश्लेषण किया जाता है कि यह सिस्टम डिज़ाइन के लिए सामान्य आवश्यकताओं में कैसे फिट बैठता है।



मूल रूप से विधि को विशुद्ध रूप से सैद्धांतिक अध्ययन के हिस्से के रूप में विकसित किया गया था, लेकिन जल्द ही जटिल एकीकृत सर्किट, संचार प्रोटोकॉल, डिवाइस ड्राइवर, डिजिटल नियंत्रक, आदि के विकास में व्यापक व्यावहारिक अनुप्रयोग मिला। विशेषज्ञों के अनुसार, आविष्कार की वर्तमान क्षमता अभी तक पूरी तरह से महसूस नहीं की गई है।



ट्यूरिंग पुरस्कार नोबेल पुरस्कार का एक एनालॉग है, लेकिन कंप्यूटर वैज्ञानिकों के लिए। जैसा कि आप जानते हैं, सौ साल पहले रहने वाले नोबेल गणितज्ञों को पसंद नहीं करते थे, इसलिए उन्होंने उन्हें अपने नाम पर पुरस्कार देने के लिए मना किया था। उस समय एक विज्ञान के रूप में कंप्यूटर विज्ञान बिल्कुल भी मौजूद नहीं था, इसलिए 1966 में मुझे कुछ इसी तरह के साथ आना पड़ा, पहला विजेता एलन पेर्लिस था, जो पहले संकलक का निर्माता था। एसोसिएशन ऑफ कंप्यूटिंग इंजीनियरिंग (ACM) के एक निर्णय द्वारा $ 250 हजार की राशि में ट्यूरिंग पुरस्कार प्रदान किया जाता है। प्रायोजक Google और Intel हैं।



कम्प्यूटिंग मशीनरी के लिए एसोसिएशन के माध्यम से