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