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

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…



Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Marianne Bellotti

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