مدلسازی و درستیسنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
نازنین ترابی گودرزی
مدلسازی و درستیسنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها
نویسنده
نازنین ترابی گودرزینسخه 1
فهرست
شناسنامه
سرشناسه
ترابی گودرزی، نازنین، پایان نامه نویس، نویسندهعنوان و نام پدیدآور
مدلسازی و درستیسنجی رسمی قراردادهای هوشمند اتریوم به منظور شناسایی آسیب پذیری ها / نازنین ترابی گودرزیمشخصات ظاهری
[22]، 177ص.؛ جدول، نمودار، تصویر، پیوست.موضوع
بلاکچین (پایگاههای اطلاعاتی)قراردادهای هوشمند
درستي سنجي
Verification
مدل سازي
وارسي مدل
آسيب پذيري
زبان mCRL2
Vulnerability
Model Checking
Modeling
Blockchains (Databases)
زبان
فارسی