Property Testing for Ocean Models. Can We Specify It? (Invited Talk). - Deepak A. Cherian (VSS@ETAPS, 2025)