Open access
2026
Practical Runtime Verification of Cross-Organizational Smart Contracts
Smart contracts in blockchains often implement critical functionality; consequently, their development-time software fault detection, removal, and avoidance have been the target of intensive research. However, the applicability of runtime dependability mechanisms to smart contracts has not been explored systematically,...
Damaris Jepkurui Kangogo, Bertalan Zoltan Peter, Attila Klenik et al.
· IEEE Access · 0 citations