model-checking / cbmc-starter-kit

RepositoryStats indexes 565,279 repositories, of these model-checking/cbmc-starter-kit is ranked #480,379 (15th percentile) for total stargazers, and #153,447 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #91,506/111,292.

model-checking/cbmc-starter-kit has 1 open pull request on Github, 140 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 32 open issues and 20 closed issues.

There have been 25 releases, the latest one was published on 2024-08-14 (about a month ago) with the name starterkit-2.11.

Homepage URL: https://model-checking.github.io/cbmc-starter-kit/