Automatic program analysis and verification and their applications in smart contracts

• المؤلف الرئيسي: Jiao, Jiao
• مؤلفون آخرون: Lin Shang-Wei
• التنسيق: Thesis-Doctor of Philosophy
• اللغة: English
• منشور في: Nanyang Technological University 2021
• الموضوعات: Engineering::Computer science and engineering::Software::Programming languages; Engineering::Computer science and engineering::Software::Software engineering
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/147268
• المؤسسة: Nanyang Technological University

The success of Bitcoin since 2009 stimulates the development of other blockchain-based applications, such as Ethereum, a second generation of cryptocurrency which supports the revolutionary idea of smart contracts. An Ethereum smart contract is a computer program written in some domain-specific high...