Formal Verification of Smart Contracts for EEG Data Governance: A Case Study with Slither and Formal Specification
यह शोध पत्र यह प्रदर्शित करता है कि जबकि स्लीथर (Slither) और मिथ्रिल (Mythril) जैसे स्वचालित उपकरण ज्ञात भेद्यता पैटर्न का प्रभावी ढंग से पता लगाते हैं, औपचारिक विनिर्देश (formal specification) ब्लॉकचेन-आधारित ईईजी (EEG) डेटा गवर्नेंस में तार्किक शुद्धता को सत्यापित करने और सुरक्षा सुनिश्चित करने के लिए आवश्यक है, क्योंकि इसने एक सीडेड एरे आउट-ऑफ-बाउंड्स (seeded array out-of-bounds) भेद्यता की विशिष्ट पहचान की जिसे स्वचालित उपकरणों ने छोड़ दिया था।