Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
model checking of probabalistic and nondeterministic systems .