“…In addition, our observations coincide with the opinion of He et al [103] that smart contracts operating on different platforms require substantially different approaches to specification and vulnerability detection. Although Table 2 demonstrates that a vast majority of approaches concentrate on verification of Ethereum smart contracts, our study includes the work on Bitcoin [18,26], Tezos [38,39,168], Hyperledger Fabric [14,36,81,114,138,173,213], EOS [103,125,166].…”