تالار گفتگو استارتاپ های ایران به نقل از کوین ایران :

استحکام قراردادهای هوشمند به وسیله “درستی یابی صوری” به عنوان راهی برای رفع اشکالات موجود در کد پر مخاطره (high risk code؛ مجموعه، برنامه، نظام نامه، رمزگذاری و یا هر چیز مشابه است که در نهاد آن احتمال ایجاد خطر زیاد و یا عدم اطمینان در اجرای آن وجود داشته باشد)، شیوه ای از برنامه …
نوشته استحکام قراردادهای هوشمند به وسیله “درستی یابی صوری” اولین بار در کوین ایران. پدیدار شد.

______________________________
ادامه در منبع : https://coiniran.com/verification-fo...art-contracts/