GitHub repository: marcusm117/FV_bmc_llvm
Primary language: Python
Description: Bounded Model Checker for LLVM IR