hoare-logic पर टैग किए गए जवाब

हमारे पास होरे तर्क है। यह अभी भी क्यों संभव है कि एक एल्गोरिथ्म सही है लेकिन कोई सबूत नहीं है कि यह सही है? मान लीजिए कि एल्गोरिथ्म सी में व्यक्त किया गया है। तो हम कदम से कदम बहस कर सकते हैं कि यह वही कर रहा है …

18 correctness-proof  hoare-logic 

मैं थोड़ा निर्भर प्रकार के सिद्धांत को जानता हूं। विकिपीडिया से: एक आश्रित प्रकार एक प्रकार है जिसकी परिभाषा एक मूल्य पर निर्भर करती है। और मेरे प्रकार सिद्धांत पाठ्यक्रम से मुझे याद है कि एक निर्भर प्रकार है: एक प्रकार से अनुक्रमित प्रकार के परिवार। लेकिन मुझे आश्रित प्रकार …

18 dependent-types  hoare-logic 

इस सवाल के इर्द-गिर्द चर्चा में , गिलेस ने सही उल्लेख किया है कि किसी एल्गोरिथ्म का कोई शुद्धता प्रमाण जो सरणियों का उपयोग करता है, यह साबित करना होगा कि कोई आउट-ऑफ-बाउंड्स एरे एक्सेस नहीं हैं; रनटाइम मॉडल के आधार पर, यह रनटाइम त्रुटि या गैर-सरणी तत्वों तक पहुंच …

11 proof-techniques  semantics  arrays  hoare-logic  software-verification