Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling

Alper Altuntas, Allison H. Baker, John Baugh +2

Earth System Models (ESMs) are critical for understanding past climates and projecting future scenarios. However, the complexity of these models, which include large code bases, a…