Verifying Declarative Smart Contracts.

Haoxian Chen Lan Lu Brendan Massey Yuepeng Wang Boon Thau Loo

Published in: ICSE (2024)

Keyphrases

high level
model checking
supply chain
declarative language
knowledge representation
smart environments
databases
domain independent
data sets
information retrieval
computer vision
learning environment
business processes
heuristic search
temporal logic
smart cities