model-checking / cbmc-starter-kit

RepositoryStats indexes 637,706 repositories, of these model-checking/cbmc-starter-kit is ranked #522,036 (18th percentile) for total stargazers, and #152,064 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #103,115/130,682.

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

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

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

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