国际科学软件验证研讨会论文集
计算机科学中的逻辑
2025-10-15 v1 计算工程、金融与科学
摘要
本卷包含 Verification of Scientific Software（VSS 2025）研讨会的论文集，该研讨会于 2025 年 5 月 4 日在加拿大麦克马斯蒂克大学（作为 ETAPS 2025 的一部分）举行。VSS 聚集了软件验证和科学计算领域的研究者，以解决确保大规模科学代码正确性和可靠性的挑战。本次研讨会包括五篇经过同行评审的论文、三篇邀请论文以及一组挑战问题，涵盖诸如演绎验证、浮点误差分析、耦合模型规范以及领域感知测试等主题。VSS 延续了 Supercomputing 上的 Correctness 工作坊系列以及 2023 年 NSF/DOE 关于科学软件正确性报告，作为这一重要领域的另一个时间点，展示了广泛的视角、问题及其正在进行的解决方案，挑战问题有望将各个验证工具整合成协调行动。
引用
@article{arxiv.2510.12314,
title = {Proceedings of the International Workshop on Verification of Scientific Software},
author = {Stephen F. Siegel and Ganesh Gopalakrishnan},
journal= {arXiv preprint arXiv:2510.12314},
year = {2025}
}