Towards automated verification of smart contract fairness.
Ye LiuYi LiShang-Wei LinRong ZhaoPublished in: ESEC/SIGSOFT FSE (2020)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- game theory
- resource allocation
- temporal logic
- graph theory
- supply chain
- contract net protocol
- neural network
- ubiquitous environments
- transaction costs
- smart environments
- object oriented
- moral hazard
- multi agent systems
- data sets
- revenue sharing
- multi party non repudiation