Title: Validation of NASA thermal ice protection computer codes