GitHub repository: yaqwsx/SymDIVINE
Primary language: C++
Description: Verification tool for parallel C/C++ programs with LTL support