Blockchain, Dsls, Game Theory, Safety, Correctness.
Game theory is “the study of mathematical models of conflict and cooperation between intelligent rational decision-makers” [Wikipedia]. In particular, it looks at how rules in cooperative processes (“games”) impact the outcome, and also how the parties taking part in the game can cheat, i.e.,