Blockchain, Dsls, Game Theory, Safety, Correctness.
imagined, such as skip three times and then remove, or whatever. Summary When I chatted with Björn about safety of smart contracts and mentioned model checking, he said that he doesn’t know how to do model checking for game-theoretical properties. Obviously I don’t know either. But instead of