May 08, 2025 Towards Domain-Specific Formal Methods for Earth System Modeling @ ETAPS 2025 Nov 12, 2022 Modeling the Heapsort Algorithm in Alloy