Driver for verifying C libraries using the CBMC model-checker. - View it on GitHub