TY - CHAP
T1 - Formal-Verification of Smart-Contract Languages: A Survey
AU - Dwivedi, Vimal
AU - Deval, Vipin
AU - Dixit, Abhishek
AU - Norta, Alex
PY - 2019/7/19
Y1 - 2019/7/19
N2 - A blockchain is a peer-to-peer electronic ledger of transactions that may be publicly or privately distributed to all users. Apart from unique consensus mechanisms, their success is also obliged to smart contracts. Also, These programs let on distrusting parties to enter reconciliation that are executed autonomously. Although a number of studies focus on security of introducing new programming languages., However, there is no comprehensive survey on the smart-contract language in suitability and expressiveness concepts and properties that recognize the interaction between people in organizations and technology in workplaces. To fill this gap, we conduct a systematic analysis about smart-contract language properties that focus on e-contractual and pattern-based exploration. In particular, this paper gives smart-contract language taxonomy, introducing technical challenges of languages as well as recent solutions in tackling the challenges. Moreover, this paper also represents the future research direction in the introducing new smart-contract language.
AB - A blockchain is a peer-to-peer electronic ledger of transactions that may be publicly or privately distributed to all users. Apart from unique consensus mechanisms, their success is also obliged to smart contracts. Also, These programs let on distrusting parties to enter reconciliation that are executed autonomously. Although a number of studies focus on security of introducing new programming languages., However, there is no comprehensive survey on the smart-contract language in suitability and expressiveness concepts and properties that recognize the interaction between people in organizations and technology in workplaces. To fill this gap, we conduct a systematic analysis about smart-contract language properties that focus on e-contractual and pattern-based exploration. In particular, this paper gives smart-contract language taxonomy, introducing technical challenges of languages as well as recent solutions in tackling the challenges. Moreover, this paper also represents the future research direction in the introducing new smart-contract language.
UR - http://dx.doi.org/10.1007/978-981-13-9942-8_68
U2 - 10.1007/978-981-13-9942-8_68
DO - 10.1007/978-981-13-9942-8_68
M3 - Chapter
SN - 9789811399411
SN - 9789811399428
VL - 1045
T3 - Communications in Comuter and Information Science
SP - 738
EP - 747
BT - Advances in Computing and Data Sciences (ICACDS 2019)
PB - Springer Singapore
CY - India
T2 - 3rd International conference on Advances in Computing and Data Sciences
Y2 - 12 April 2019 through 13 April 2019
ER -
