Smifier: A Smart Contract Verifier for Composite Transactions.

Yu Dong Yue Li Dongqi Cui Jianbo Gao Zhi Guan Zhong Chen

Published in: SEKE (2022)

Keyphrases

database
supply chain
transactional data
databases
transaction data
database transactions
transaction processing
transaction management
real time
smart grid
revenue sharing
data mining
multi agent systems
concurrency control
distributed database systems
contract net protocol