Driver for verifying C libraries using the CBMC model-checker.