| Paketname | cbmc |
| Beschreibung | bounded model checker for C and C++ programs |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.1-1.2 |
| Sektion | science |
| Priorität | extra |
| Installierte Größe | 10836 Byte |
| Hängt ab von | gcc, libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), minisat |
| Empfohlene Pakete | |
| Paketbetreuer | Michael Tautschnig |
| Quelle | |
| Paketgröße | 4625938 Byte |
| Prüfsumme MD5 | 8cb43c3d35c72452e7dbb4ff4ea9c0c8 |
| Prüfsumme SHA1 | cd80eb6e9ad3d62aa50a7cc11a7f04f0221693c1 |
| Prüfsumme SHA256 | 6b7acd227df05927748ef125de0155d5a6eef8887a47e31cb7dde3c7b8ea77c0 |
| Link zum Herunterladen | cbmc_4.1-1.2_i386.deb |
| Ausführliche Beschreibung | |