UbuntuUpdates.org

Package "cbmc"

Name: cbmc

Description:

bounded model checker for C and C++ programs

Latest version: 5.10-5ubuntu1
Release: focal (20.04)
Level: base
Repository: universe
Homepage: http://www.cprover.org/cbmc/

Links


Download "cbmc"


Other versions of "cbmc" in Focal

No other version of this package is available in the Focal release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates