- gcc
- libc6 (>= 2.38)
- libgcc-s1 (>= 3.0)
- libstdc++6 (>= 14)
- minisat (>= 1:2.2.1)
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: 79.7 MB
Architectures: arm64 amd64