Home - SVF-tools/Teaching-Software-Verification GitHub Wiki
Contents
| # | Slides | Exercise/Reading | Assignment |
|---|---|---|---|
| 0 | Configure Programming Environment using VSCode and Docker | Configure IDE | |
| 1 | Introduction to Software Verification | ||
| 2 | C++ Programming and Vulnerability Assessment | Assignment-1 | |
| 3 | LLVM Compiler and Intermediate Representation | SVF APIs | |
| 4 | SVF IR | SVF IR | |
| 5 | Control-Flow Reachability | Assignment-2 | |
| 6 | Code Verification and Predicate Logic | Z3 Constraints | |
| 7 | Software Verification Using Z3 Theorem Prover | SVF Z3 APIs | Assignment-3 |
| 8 | Assertion-based Verification Using Static Symbolic Execution | Assignment-4 |