Contributor of Teaching-Software-Verification an online open courses for learning software verification via SVF.

Goal of this subject

Lead students to develop software verification tool in 12 weeks.

More concretely:

Develop an automated static verifier using C++ to conduct static symbolic execution of a C program.