Can You Use Formal Verification on a Table Top Game? (Solutions)
8 min readMay 14, 2022
--
Practicing breaking down and generalizing problems into formal logic… for fun.
Last month I talked about using formal verification in game design and the challenge of trying to define a problem so that it can be verified. This is part 2 of that story, detailing the various approaches I’ve been using to iterate on game rules and deck structure.