Home

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