This is the Checked C formalization files.
The Checked C Coq Formalization is in the coq directory. Readme file there tells you how to run the coq model.
The Checked C Redex model and Random Testing Framework is in the redex directory. Readme file there tells you how to run the redex model and the random testing tool.