ऐसे मामले में, आप क्या कहते हैं कि हम अपने सिस्टम को लेते हैं जो इस बंद बॉक्स द्वारा यहां दर्शाया गया है और सिस्टम का गणितीय रूप से विश्लेषण करता है जैसे स्थैतिक विश्लेषण, सीओक्यू मॉडल चेकर्स जैसे एक औपचारिक सबूत सहायक और इसलिए सिस्टम को प्रमाणित करता है।
அத்தகைய சந்தர்ப்பத்தில், நீங்கள் சொல்வது என்னவென்றால், இந்த மூடிய பெட்டியால் இங்கு குறிப்பிடப்பட்டுள்ள நம்முடைய சிஸ்டமை எடுத்து, நிலையான பகுப்பாய்வு போன்ற கருவிகளைப் பயன்படுத்தி சிஸ்டமை கணித ரீதியாக பகுப்பாய்வு செய்து, முறையான COQ மாடல் செக்கர்ஸ் போன்ற ஆதார உதவியாளர்களை கொண்டு சிஸ்டம் முற்றிலும் குறைபாடற்றது என்று சான்றளிக்கப்படுகிறது மற்றும்