Compiling Your Story - Using Techniques from Compiler Design to Check Your Narrative

Compiling Your Story - Using Techniques from Compiler Design to Check Your Narrative

linux.conf.au via YouTube Direct link

Introduction

1 of 13
Next

1 of 13

Introduction

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Compiling Your Story - Using Techniques from Compiler Design to Check Your Narrative

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Introduction
  2. 2 Nodebased vs Scriptbased
  3. 3 Using Existing Tools
  4. 4 Static Analysis
  5. 5 Using Z3
  6. 6 The bug
  7. 7 Finding paths
  8. 8 Night in the Woods
  9. 9 Z3 Constraints
  10. 10 Running in Reverse
  11. 11 Invariant Rules
  12. 12 Consequences
  13. 13 Conclusion

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.