Formal Modeling and Verification of Smart Contracts
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods