Let's Use an Automated Theorem Prover to Verify Video Games - I Swear This Is More Fun Than It Sounds

Explore how automated theorem provers can be applied to verify video game systems in this engaging 34-minute conference talk from linux.conf.au. Learn to use Z3, an open-source theorem prover, to describe and diagnose problems in RPGs, discover softlocks and impossible situations, and apply formal logic to game systems. Gain practical skills in creating abstract models of complex games, finding and fixing hidden bugs, and applying these techniques to non-game systems. Demystify dense jargon surrounding the field and discover how to leverage automated theorem proving for testing large, complicated, and intricately interlocking systems in video game development and beyond.