Package Details

Information about "cbmc"

label

Name

cbmc

description

Description

bounded model checker for C and C++ programs

update

Version

6.1.1-2

category

Section

science

home

Homepage

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

person

Maintainer

Michael Tautschnig <[email protected]>

link

Depends

gcc, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1)

thumb_up

Recommends

None

lightbulb

Suggests

gdb

block

Conflicts

None

swap_horiz

Replaces

None

check_box

Provides

None

description

Filename

pool/main/c/cbmc/cbmc_6.1.1-2_amd64.deb

Depends Recommends Suggests Conflicts Replaces Provides
Depends
gcc
libc6
libgcc-s1
libstdc++6
minisat