Can You Use Formal Verification on a TableTop Game? (The Challenge)

Marianne Bellotti
7 min readApr 10, 2022

The amazing things you learn by applying a tool to inappropriate challenges.

hess background vector created by macrovector

I am designing a tabletop game.

The idea came to me while cleaning out a box full of old conference swag I have collected from years of tech conferences. At one of the last four Shmoocons — or perhaps it was at B-sides? — I had picked up a copy of Backdoors & Breaches, a tabletop card game about security compliance.

I’ve never actually played B&B because I’m not a security professional and I’ve always found the cards to be so overloaded with jargon it’s difficult for me to grok the strategy around the game play. But I like the idea of games as teaching tools. Particularly for challenges where participants dismiss the need for strategy. When the card pack emerged from its nest of corporate branded drink koozies, lanyards and laser jet printed brochures disguised as white papers my first thought was, “something like this should exist for legacy modernization.”

I immediately started trying to figure out how the mechanics of such a thing would work. I had the perfect use case for it. I was in the process of planning a two-three week train trip to smaller American cities with great tech communities (Pittsburgh-Cleveland-Detroit-Chicago was my plan). My book Kill It With Fire was…

--

--

Marianne Bellotti

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