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