Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.

Ye Liu Yi Li Cyrille Artho Yixuan Liu

Published in: CoRR (2024)

Keyphrases

high level
mining algorithm
data mining techniques
data mining
supply chain
text mining
first order logic
web mining
pattern mining
data abstraction
data sets
formal verification
data mining methods
data mining algorithms
frequent itemsets
association rule mining
formal specification
social networks