面向科学计算正确性的更丰富挑战问题
软件工程
2025-10-16 v1 数学软件
摘要
科学计算（SC）中的正确性正日益受到形式化方法（FM）和编程语言（PL）社区的关注。现有的 PL/FM 验证技术在面对真实 SC 应用的复杂性时面临挑战。部分问题在于 SC 和 PL/FM 社区之间缺乏对机器可验证正确性挑战以及 SC 应用中正确性维度的共同理解。为弥补这一差距，我们呼吁专门的挑战问题，以指导 FM/PL 验证技术在 SC 正确性方面的开发与评估。这些专门挑战旨在补充 FM/PL 研究者为通用程序研究的现有问题，以确保 SC 应用的需求得到满足。我们提出了若干与科学计算相关的正确性维度，并讨论了设计挑战问题以评估科学计算正确性的若干指导原则和标准。
引用
@article{arxiv.2510.13423,
title = {Towards Richer Challenge Problems for Scientific Computing Correctness},
author = {Matthew Sottile and Mohit Tekriwal and John Sarracino},
journal= {arXiv preprint arXiv:2510.13423},
year = {2025}
}
备注
In Proceedings VSS 2025, arXiv:2510.12314