Can You Use Formal Verification on a Table Top Game? (Solutions)

Marianne Bellotti
8 min readMay 14, 2022

Practicing breaking down and generalizing problems into formal logic… for fun.

Table game vector created by freepik

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.

Marianne Bellotti

Author of Kill It with Fire Manage Aging Computer Systems (and Future Proof Modern Ones)