formal-methods पर टैग किए गए जवाब

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

2
एक एल्गोरिथ्म समय जटिलता एक मनमाना इनपुट प्रोग्राम की भविष्यवाणी किस हद तक कर सकता है?
लंगड़ा समस्या कहा गया है कि यह असंभव है एक प्रोग्राम है जो किसी अन्य प्रोग्राम द्वारा हाल्ट निर्धारित कर सकते हैं, के लिए लिखने के लिए सभी संभव इनपुट कार्यक्रमों । हालाँकि, मैं निश्चित रूप से एक प्रोग्राम लिख सकता हूँ, जो इस तरह के प्रोग्राम के रनिंग टाइम …

6
पाठ्यक्रम: सुरक्षा में तार्किक / औपचारिक तरीके
वर्तमान में मैं सिक्योरिटी में लॉजिकल मेथड्स पर एक छोटा कोर्स (मास्टर्स लेवल पर चार दो घंटे का लेक्चर) सिखाता हूं , हालांकि सिक्योरिटी में फॉर्मल मेथड्स ज्यादा उपयुक्त हो सकते हैं। यह निम्नलिखित विषयों (संबंधित तार्किक विधियों के साथ) को संक्षेप में शामिल करता है: डिजिटल अधिकार प्रबंधन और …

7
हम कैसे जान सकते हैं कि औपचारिक तरीके काम करते हैं?
औपचारिक तरीकों का एक महत्वपूर्ण लक्ष्य सिस्टम की शुद्धता को साबित करना है, या तो स्वचालित या मानव-निर्देशित साधनों द्वारा। हालाँकि, ऐसा लगता है कि भले ही आप एक सही प्रमाण दे सकें, आप यह गारंटी नहीं दे सकते कि सिस्टम विफल नहीं होगा। उदाहरण के लिए: विनिर्देश सिस्टम को …

7
तर्क के सीएस अनुप्रयोगों के लिए संकेत
मैं तर्क में एक ठोस पृष्ठभूमि के साथ गणित में एक स्नातक छात्र हूं। मैंने तर्क मॉडल मॉडल के सिद्धांत पर स्नातक पाठ्यक्रम के साथ तर्क और सिद्धांत पर एक और एक साल का स्नातक पाठ्यक्रम लिया है। अधिकांश सीएस पाठ तर्क में केवल एक बहुत ही मामूली पृष्ठभूमि मान …

9
मिशन क्रिटिकल सॉफ्टवेयर कैसे बनाएं?
मैं स्वयं सीखने के औपचारिक तरीके हूं। मैंने सुना है कि मिशन महत्वपूर्ण सॉफ़्टवेयर (जैसे परमाणु रिएक्टर नियंत्रक, विमान उड़ान नियंत्रक, अंतरिक्ष जांच नियंत्रक) बनाने के लिए औपचारिक तरीकों (और आमतौर पर केवल इस्तेमाल किया जाता है) का उपयोग किया जाता है। इसलिए मुझे इसे सीखने में दिलचस्पी है: पी …

3
क्या यह गणना करना संभव है कि क्या दो कार्य समान रूप से समान हैं?
यदि आपके पास एक अलग सॉर्टिंग एल्गोरिदम को लागू करने वाले दो कार्य हैं, तो क्या स्रोत कोड द्वारा अनुमान लगाना संभव है कि वे दोनों एक ही बाहरी गुण हैं? इसका अर्थ है कि वे दोनों उनके इनपुट के रूप में एक संभव लिंक नहीं करेंगे और उनके आउटपुट …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.