3000+ Courses from California Community Colleges

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

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

linux.conf.au via YouTube Direct link

Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds

1 of 1

1 of 1

Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds

Class Central Classrooms beta

YouTube playlists curated by Class Central.

Classroom Contents

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

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.