-
Notifications
You must be signed in to change notification settings - Fork 23
Home
Yulei Sui edited this page Mar 14, 2022
·
20 revisions
| # | 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 and Control-Flow Reachability | SVF IR | Assignment-2 |
| 5 | Predicate Logic and Automated Theorem Proving | Z3 APIs | |
| 6 | Software Verification Using Z3 Theorem Prover | Assignment-3 | |
| 7 | Assertion-based Verification | SVF Z3 APIs | |
| 8 | Verification Using Static Symbolic Execution | Assignment-4 |