gentoo.mahdi.cz
dev-python
:cbmc-starter-kit
CBMC starter kit makes it easy to add CBMC verification to a software project
https://github.com/model-checking/cbmc-starter-kit
cbmc-starter-kit-2.10
Apache-2.0
download
~amd64 ~x86
pypi