cbmc
bounded model checker for C and C++ programs
🌐 Site do projeto: http://www.cprover.org/cbmc/
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|---|---|---|---|
Exu | 6.6.0-4 | amd64 | 21.3 MB | .deb |
Informações do pacote
| Seção | science |
|---|---|
| Prioridade | optional |
| Mantenedor | Michael Tautschnig <mt@debian.org> |
| Site do projeto (upstream) | <a href="http://www.cprover.org/cbmc/" rel="noopener">http://www.cprover.org/cbmc/</a> |
| Depende de | gcc, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), minisat (>= 1:2.2.1) |
| Fornece (Provides) | — |
| Substitui (Replaces) | — |
| Conflita (Conflicts) | — |