دوشنبه 9 اسفند 1400
عنوان مقاله: Slither ابزاری برای بررسی ایستای قراردادهای هوشمند

 

در این مقاله که در سال 2019  در کنفرانس علمی و تخصصی مهندسی نرمافزار در بلاکچین (WETSEB) چاپ‌شده است. به معرفی نرمافزار Slither به‌عنوان ابزاری برای بررسی قراردادهای هوشمند پرداخته‌شده است. در این کار با توجه به رشد فراگیر فناوری بلاکچین، افزایش کاربرد‌های قراردادهای هوشمند، توسعه قراردادهای هوشمند اتریوم ماشین مجازی و زبان برنامه‌نویسی سطح بالای Solidity (زبانی برای ایجاد قراردادهای هوشمند) موردبحث قرارگرفته است.

 

آمار بازدید : بروزرسانی :