RustProof: Static Analysis Using MIR - PDXRust October 2016

RustProof: Static Analysis Using MIR - PDXRust October 2016

Rust via YouTube Direct link

Preface

2 of 11

2 of 11

Preface

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

RustProof: Static Analysis Using MIR - PDXRust October 2016

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Intro
  2. 2 Preface
  3. 3 Benefits of Formal Verification
  4. 4 Hoare Logic Primer
  5. 5 Verification Condition Generation
  6. 6 Compiler Plugins
  7. 7 Parsing, VC Generation, Solving
  8. 8 Problems we encountered
  9. 9 Supported Rust Language Features
  10. 10 Questions?
  11. 11 Weakest Preconditions

Never Stop Learning.

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

Someone learning on their laptop while sitting on the floor.