Package Details: python-cbmc-starter-kit 2.10-1

Git Clone URL: https://aur.archlinux.org/python-cbmc-starter-kit.git (read-only, click to copy)
Package Base: python-cbmc-starter-kit
Description: CBMC starter kit makes it easy to add CBMC verification to a software project
Upstream URL: https://github.com/model-checking/cbmc-starter-kit
Licenses: custom:Apache Software License
Submitter: bitwave
Maintainer: bitwave
Last Packager: bitwave
Votes: 0
Popularity: 0.000000
First Submitted: 2024-01-31 21:21 (UTC)
Last Updated: 2024-01-31 21:21 (UTC)