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 videos 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