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
Automated Visual Software AnalyticsopenHPI JavaScript Testing
Udacity Desarrollo de Aplicaciones Web: Prueba y Despliegue
University of New Mexico via Coursera 软件工程
Peking University via Coursera Building R Packages
Johns Hopkins University via Coursera