3d General circulation models and basic energy balance models are verified against range of temperatures, pressures, and atmospheric conditions in the Earth, Mars, Jupiter and Venus. The same model used for exoplanets is used to model paleo-Mars, paleo-Venus, and Titan. If the model is somehow completely wrong outside known limits, so is the parent model that is used in the Earth Climate change studies. The models work just fine at this level of required accuracy. You put parameters that describe the Earth, Mars or Venus into the and you get good description of atmosphere and climate in Venus and Mars that matches observations.
We don't have to model specific planets to get interesting information. In generally the interest is to model different categories of the planets and discover how their environments vary when we vary the parameters. It's possible to say something generic about tidally locked planets and their climate. This is what these simulations do.
GISS modelE GCM https://www.giss.nasa.gov/tools/modelE/
ROCKE-3D version of GISS modelE GCM https://www.giss.nasa.gov/projects/astrobio/