Methods For Rigorous Uncertainty Quantification With Application To A Mars Atmosphere Model