Ascent++ | smart contract

Assertion list

smart contract (subgroup of contract ) → HasProperty

Results from Ascent++: 9

smart contract → HasProperty → enforceable	0.66
smart contract → HasProperty → immutable	0.51
smart contract → HasProperty → useful	0.50
smart contract → HasProperty → simple	0.35
smart contract → HasProperty → secure	0.35
smart contract → HasProperty → ironclad	0.33
smart contract → HasProperty → complex	0.29
smart contract → HasProperty → transparent	0.24
smart contract → HasProperty → autonomous	0.21