Ponzi scheme detection in smart contracts using the integration of deep learning and formal verification.

Shibao Chen Fei Li

Published in: IET Blockchain (2024)

Keyphrases

deep learning
formal verification
model checking
unsupervised learning
bounded model checking
machine learning
automated verification
symbolic model checking
weakly supervised
model checker
object detection
viewpoint
natural language processing
deep architectures
unsupervised feature learning