Can You Use Formal Verification on a Table Top Game? | Heykuki News