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