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

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

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…



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

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