Contract Validation
Contract Validation is a formal method within Automated Contracting Systems that verifies the syntactic, semantic, and regulatory correctness of contract terms to ensure compliance with legal standards, domain rules, and predefined contractual logic.
13
Publications
958
Citations
39
Authors
16
Institutions
Publications per year
2017–2026
8
13
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
Checking Smart Contracts With Structural Code Embedding
Zhipeng Gao, Lingxiao Jiang, Xin Xia et al. · IEEE Transactions on Software Engineering · 2020 · 149 citations · Full text
1–5 of 13
39
Beijing University of Posts and Telecommunications, China
1 publications · 68 citations
1
h-index
1
h-index
1
h-index
1
h-index
1
h-index
1–5 of 39
16
Consorzio Interuniversitario Nazionale per l'Informatica
Rome, Italy
1 h-index
3 publications
117 citations

Monash University
Melbourne, Australia
1 h-index
3 publications
447 citations
Beijing Wuzi University
Beijing, China
1 h-index
1 publications
39 citations

Beihang University
Beijing, China
1 h-index
4 publications
156 citations

University of Salerno
Fisciano, Italy
1 h-index
1 publications
39 citations
Fiat Chrysler Automobiles (Italy)
Turin, Italy
1 h-index
1 publications
14 citations

The University of Queensland
Brisbane, Australia
1 h-index
3 publications
798 citations

Universidade Federal de Pernambuco
Recife, Brazil
1 h-index
7 publications
147 citations
1–8 of 16
1 publications · 39 citations
1
h-index
Repository · 1 publications · 29 citations
1
h-index
1 publications · 14 citations
1
h-index
1 publications · 53 citations
1
h-index
EDOC · 1 publications · 266 citations
1
h-index
1–5