Blockchain, Dsls, Game Theory, Safety, Correctness.
exploit the rules for their own benefit. In my previous post I sketched some ideas of how smart contracts can be expressed declaratively to avoid low-level mistakes, and also emphasised that techniques from functional safety, such as model checking, can be used to ensure properties of (state-based)