Smart Contract Correctness

Smart Contract Correctness is a formal verification property that ensures a smart contract adheres to its specified behavioral, safety, and liveness requirements under all possible execution conditions.

Publications

4.3K

Citations

173

Authors

Institutions

Publications per year

2017–2026

Parents

Smart Contracts

Publications

ZEUS: Analyzing Safety of Smart Contracts

Sukrit Kalra, Seep Goel, Mohan Dhawan et al. · 2018 · 710 citations · Full text

Computing, Computer Science, Cybersecurity +16

Supply chain re-engineering using blockchain technology: A case of smart contract based tracking process

Shuchih Ernest Chang, YiChian Chen, Ming-Fang Lu · Technological Forecasting and Social Change · 2019 · 627 citations

Management, Management Information Systems, Supply Chain Management +15

Is a ‘smart contract’ really a smart idea? Insights from a legal perspective

Mark Giancaspro · Computer law & security review · 2017 · 287 citations

Law, Contract Law, Jurisprudence +16

A Survey on Security Verification of Blockchain Smart Contracts

Jing Liu, Zhentian Liu · IEEE Access · 2019 · 254 citations · Full text

Computing, Computer Science, Cybersecurity +17

Validation and Verification of Smart Contracts: A Research Agenda

Daniele Magazzeni, Peter McBurney, William L. Nash · Computer · 2017 · 190 citations · Full text

Law, Contract Law, Contract Theory +16

1–5 of 54

Authors

173

XB
Xiaomin Bai
Beihang University, China
2 publications · 140 citations
2
h-index
AM
Abdelhamid Mellouk
Paris-Est Sup, France
2 publications · 153 citations
2
h-index
MA
Mouhamad Almakhour
Lebanese University, Lebanon
2 publications · 153 citations
2
h-index
CW
Cong Wang
City University of Hong Kong, Hong Kong SAR China
2 publications · 57 citations
2
h-index
KH
Kai Hu
Nanjing University of Information Science and Technology, China
2 publications · 140 citations
2
h-index

1–5 of 173

Institutions

1–8 of 87

Venues

IEEE Access
5 publications · 385 citations
5
h-index
IEEE Transactions on Dependable and Secure Computing
TDSC · 2 publications · 57 citations
2
h-index
Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences
Conference · 2 publications · 43 citations
2
h-index
arXiv (Cornell University)
Repository · 2 publications · 124 citations
2
h-index
Journal of Ambient Intelligence and Humanized Computing
1 publications · 17 citations
1
h-index

1–5