sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning.

Bo Gao Ling Shi Jiaying Li Jialiang Chang Jun Sun Zijiang Yang

Published in: ISoLA (2021)

Keyphrases

learning algorithm
active learning
learning systems
learning process
online learning
unsupervised learning
learning problems
inductive learning
supervised learning
lazy learning
multi agent
digital libraries
expert systems
knowledge acquisition
background knowledge
incremental learning