Let's Use an Automated Theorem Prover to Verify Video Games - I Swear This Is More Fun Than It Sounds
Offered By: linux.conf.au via YouTube
Course Description
Overview
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.
Syllabus
Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds
Taught by
linux.conf.au
Related Courses
Logic: The Language of TruthUniversity of York via FutureLearn Introduction to Formal Logic (Learn how to argue)
Skillshare Mathematics
Serious Science via YouTube Philosophy
Serious Science via YouTube Қайтадан ойланыңыз II: қалай дедуктивті ойлау керек
Duke University via Coursera