CO2 model checker