Property Testing for Ocean Models. Can We Specify It? (Invited Talk)

Deepak A. Cherian

I take inspiration from the property-testing literature, particularly the work of Prof. John Hughes, and explore how such ideas might be applied to numerical models of the ocean. S…