GitHub repository: vananhnt/Vtse-VertificationTool
Primary language: C
Description: Verification Tool using Symbolic Execution to verify some features of C/C++ programs