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

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.