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

hess background vector created by macrovector

--

--

--

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

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

Triple Sum — HackerRank Medium

IT Consulting: Taming the urge to code

3 Ways To Fix the “Could not get lock /var/lib/dpkg/lock” Issue on Linux

seagull bird looking into the distance

Paid Udemy Courses for FREE with Coupons!

How Can People Live With Garbage Space Indents?

Text edit wanting to nuke my changes

Life is a journey of twists and turns, peaks and valleys, mountains to climb and oceans to explore.

How to install Ansible in CentOS 9 Stream

Which Unity Version To Download?

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

Marianne Bellotti

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

More from Medium

The Challenges Of Migrating To An Electric Vehicle Fleet

Theory of Constraints

Gary and the Astrology Machine

Gary Kildall leaning against a Corvette

How developers found themselves in the vanguard of labor activism

IMAGE: A person sitting in front of a laptop and with a lot of computer code behind him