您当前的位置：
首页 >
文章列表页 >
A Monopoly Behavior Detection Method of Smart Contract Based on Formal Verification
Computer Software and Theory | 更新时间：2025-05-21

    • A Monopoly Behavior Detection Method of Smart Contract Based on Formal Verification

    • “The detection method of monopoly behavior in smart contracts provides new ideas for digital economy regulation.”
    • Software Guide   Vol. 24, Issue 5, Pages: 115-121(2025)

    • DOI：10.11907/rjdk.241908    

      CLC： TP311

    • Received：28 October 2024，

      Published：15 May 2025

    移动端阅览

  • SONG Maoyuan.A Monopoly Behavior Detection Method of Smart Contract Based on Formal Verification[J].Software Guide,2025,24(05):115-121. DOI： 10.11907/rjdk.241908.

  •  
  •  

0

Views

0

下载量

0

CSCD

Alert me when the article has been cited
提交
Tools
Download
Export Citation
Share
Add to favorites
Add to my album

Related Articles

A Recommendation Method for Smart Contract Vulnerability Detection Tools Based on Intermediate Representations
Design and Implementation of Cold Fresh Beef Traceability System Based on Blockchain Technology
A Trusted Traceability Application Based on Blockchain
A Public Chain Solution for Blacklist Based on Voting Mechanism
A Trusted Sealed-Bid Auction Scheme Based on Blockchain

Related Author

ZHANG Dalong
ZHANG Yubin
NIE Zhigang
TA Weizhong
SHEN Subin
ZHANG Xiaoyu
ZHANG Wei
CHEN Yunfang

Related Institution

College of Food Science and Engineering， Gansu Agricultural University
College of Information Science and Technology，Gansu Agricultural University
National Engineering Research Center on Communication and Networking， Nanjing University of Posts and Telecommunications
School of Internet of Things，Nanjing University of Posts and Telecommunications
School of Computer Science， Nanjing University of Posts and Telecommunications
0