cbmc-examples Examples of code verification using CBMC These are small examples of program verification using CBMC, using the Code-Contracts and Loop-Invariants facilities of CBMC.