search

uw-unsat / serval-tutorial-sosp19

13 stars 3 forks source link

Slides #1

Closed rishabh246 closed 4 years ago

rishabh246 commented 4 years ago

Hey,

Could you provide a copy of the slides used during the tutorial? In particular the first hour featuring the introduction to verification. Thought it was a really cool, succinct summary of the area.

xiw commented 4 years ago

Uploaded the slides under the slides/ directory. Thanks!