-
Notifications
You must be signed in to change notification settings - Fork 23
Home
guanqin-123 edited this page Jul 5, 2023
·
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 | 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 |