AUR (en) - python-cbmc-starter-kit

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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)