Smart contract analysis and verification

• المؤلف الرئيسي: Qiu, Haoze
• مؤلفون آخرون: Lin Shang-Wei
• التنسيق: Final Year Project
• اللغة: English
• منشور في: Nanyang Technological University 2020
• الموضوعات: Engineering::Computer science and engineering::Software::Programming languages
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/138788

As smart contracts being used by more and more industries, security and correctness of them are becoming more important than ever. There have been many security analysis tools for Solidity language, a language for building smart contracts. However, none of them enables the user to provide informatio...