On the Verification of Smart Contracts: A Systematic Review.
Mouhamad AlmakhourLayth SlimanAbed Ellatif SamhatAbdelhamid MelloukPublished in: ICBC (2020)
Keyphrases
- systematic review
- empirical studies
- supply chain
- model checking
- face verification
- concurrent systems
- high security
- real time
- formal methods
- signature verification
- data sets
- expert systems
- verification method
- asynchronous circuits
- fingerprint verification
- test generation
- formal verification
- smart environments
- machine learning
- e learning
- case study
- mobile robot