SolAnalyser: A Framework for Analysing and Testing Smart Contracts.

Sefa Akca Ajitha Rajan Chao Peng

Published in: APSEC (2019)

Keyphrases

theoretical framework
neural network
real time
artificial intelligence
main contribution
database
search engine
information systems
high level
data streams
supply chain
lightweight
computational model
bayesian framework
conceptual framework