Smart Contract Specification Mining

Yi Li and Ye Liu

W.O. Patent No. 2025/010033 A1, 2025-01-09

Abstract: Systems and methods for smart contract specification mining receive a smart contract transaction history, slice the history to produce invocation traces, and determine predicates from the history. Each predicate belongs to a condition of a function of the smart contract. A finite state machine is then constructed over states in the invocation traces and predicates, and counterexample-guided abstraction refinement is performed to extend the finite state machine satisfying a minimal existential abstraction property.

Cite:

@patent{Li2025SCS,
  author = {Li, Yi and Liu, Ye},
  date = {2025-01-09},
  location = {World Intellectual Property Organization},
  number = {W.O. Patent No. 2025/010033 A1},
  title = {Smart Contract Specification Mining}
}