arXiv Open Access 2025

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

Deepak A. Cherian

Lihat Sumber

Abstrak

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. Specifically, I ask whether geophysical fluid dynamics (GFD) theory, expressed as property tests, might be used to address the oracle problem of testing the correctness of ocean models. I propose that a number of simple idealized GFD problems can be framed as property tests. These examples clearly illustrate how physics naturally lends itself to specifying property tests. Which of these proposed tests might be most feasible and useful, remains to be seen.

Topik & Kata Kunci

cs.SE

Penulis (1)

Deepak A. Cherian

Format Sitasi

APA MLA BibTeX

Cherian, D.A. (2025). Property Testing for Ocean Models. Can We Specify It? (Invited Talk). https://arxiv.org/abs/2510.13692

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓