program-correctness पर टैग किए गए जवाब

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

66 programming-languages  program-correctness  software-verification 

विकिपीडिया से: सैद्धांतिक कंप्यूटर विज्ञान में, एल्गोरिथ्म की शुद्धता पर जोर दिया जाता है जब यह कहा जाता है कि विनिर्देश के संबंध में एल्गोरिथ्म सही है। लेकिन समस्या यह है कि "उपयुक्त" विनिर्देश प्राप्त करना कोई तुच्छ कार्य नहीं है, और सही पाने के लिए कोई 100% सही तरीका …

17 formal-methods  software-verification  program-correctness 

हार्टलेड बग की बात पर, ब्रूस श्नेयर ने 15 अप्रैल के अपने क्रिप्टो-ग्राम में लिखा था: '' कैटास्ट्रॉफिक '' सही शब्द है। 1 से 10 के पैमाने पर, यह एक 11. ' मैंने कई साल पहले पढ़ा था कि एक निश्चित ऑपरेटिंग सिस्टम के कर्नेल को एक आधुनिक प्रोग्राम सत्यापन …

9 cryptography  correctness-proof  security  software-verification  program-correctness