标题： 国际科学软件验证研讨会论文集 显示英文标题

标题： Proceedings of the International Workshop on Verification of Scientific Software

摘要： 本卷包含2025年验证科学软件(VSS 2025)研讨会的论文集，该研讨会于2025年5月4日在加拿大麦克马斯特大学举行，作为ETAPS 2025的一部分。 VSS聚集了软件验证和科学计算领域的研究人员，以解决确保大规模科学代码正确性和可靠性的挑战。 程序包括五篇经过同行评审的论文、三篇特邀贡献以及一组挑战问题，涵盖演绎验证、浮点误差分析、耦合模型规范和领域感知测试等主题。 VSS建立在超级计算上的正确性研讨会系列以及2023年美国国家科学基金会/能源部关于科学软件正确性的报告基础上。 它作为这一重要领域的又一个快照，展示了广泛的观点、正在进行的问题及其解决方案，并且挑战问题有可能将不同的验证工具联合起来采取协同行动。 显示英文摘要

摘要： This volume contains the proceedings of the Verification of Scientific Software (VSS 2025) workshop, held on 4 May 2025 at McMaster University, Canada, as part of ETAPS 2025. VSS brings together researchers in software verification and scientific computing to address challenges in ensuring the correctness and reliability of large-scale scientific codes. The program featured five peer-reviewed papers, three invited contributions, and a set of challenge problems, covering themes such as deductive verification, floating-point error analysis, specification of coupled models, and domain-aware testing. VSS builds on the Correctness Workshop series at Supercomputing and the 2023 NSF/DOE report on scientific software correctness. It serves as yet another snapshot of this important area, showcasing a wide range of perspectives, problems and their solutions in progress, with the challenge problems having the potential to bring together separate verification tools into concerted action.