add slides

uw-unsat · Nov 11, 2019 · 249bf59 · 249bf59
1 parent 33d461a
commit 249bf59
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -5,6 +5,7 @@ at [SOSP'19](https://sosp19.rcs.uwaterloo.ca).
 
 This tutorial is based on our SOSP'19 paper,
 [Scaling symbolic evaluation for automated verification of systems code with Serval](https://unsat.cs.washington.edu/papers/nelson-serval.pdf).
+You may find the slides under the [slides/](slides/) directory.
 
 It requires that you have the following prerequisite
 tools installed:
@@ -418,7 +419,7 @@ states.
 
 This example shows one way of using Serval's RISC-V verifier
 to prove correct a simple system. If you're interested in the details,
-you can look in the `serval/` directory to see how the verifiers
+you can look in the [serval/](serval/) directory to see how the verifiers
 and optimizations are implemented; and even choose to extend a verifier
 or implement a new one yourself.
 
@@ -429,4 +430,4 @@ you can go there to see how more complex systems are verified.
 
 The [Serval SOSP'19 paper](https://unsat.cs.washington.edu/papers/nelson-serval.pdf)
 has more details on the techniques used in implementing Serval and retrofitting
-existing systems for automated verification.
+existing systems for automated verification.
diff --git a/slides/overview.pdf b/slides/overview.pdf
diff --git a/slides/rosette.pdf b/slides/rosette.pdf