GitHub repository: samysweb/counterSharp
Primary language: Python
Description: Quantification of software properties through Model Counting: We use CBMC to transform C-code into SAT instances and then run approximate model counting on those instances