Logo Vanilla OS Packages
search
Ctrl K
storage

Package Details

Information about "cbmc"

label

Name

cbmc

description

Description

bounded model checker for C and C++ programs

update

Version

6.6.0-4

database

Architecture

amd64
category

Section

science

home

Homepage

http://www.cprover.org/cbmc/

person

Maintainer

Michael Tautschnig <[email protected]>

folder_zip

Filename

pool/main/c/cbmc/cbmc_6.6.0-4_amd64.deb

Depends Packages
gcc
libc6
libgcc-s1
libstdc++6
minisat