مدلسازی و درستیسنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
نازنین ترابی گودرزی
مدلسازی و درستیسنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
Author
نازنین ترابی گودرزیEdition 1
list
شناسنامه
Main Entry
ترابی گودرزی، نازنین، پایان نامه نویس، نویسندهTitle and Author
مدلسازی و درستیسنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها / نازنین ترابی گودرزیPhysical Description
[22]، 177ص.؛ جدول، نمودار، تصویر، پیوست.Subject
بلاکچین (پایگاههای اطلاعاتی)قراردادهای هوشمند
درستي سنجي
Verification
مدل سازي
وارسي مدل
آسيب پذيري
زبان mCRL2
Vulnerability
Model Checking
Modeling
Blockchains (Databases)
Language
فارسی