- gcc
- libc6 (>= 2.17)
- libgcc1 (>= 1:4.2)
- libstdc++6 (>= 5.2)
- minisat
CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.
Installed Size: 41.3 MB
Architectures: arm64 amd64