Verifying properties of differentiable programs

DOI10.1007/978-3-319-99725-4_14zbMATH Open1511.68078OpenAlexW2888869175MaRDI QIDQ6041173FDOQ6041173

Authors: Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland 

Publication date: 26 May 2023

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99725-4_14

Recommendations

• scientific article; zbMATH DE number 2151186
• FEVS: a functional equivalence verification suite for high-performance scientific computing
• Formal verification of numerical programs: from C annotated programs to mechanical proofs
• Trusting computations: a mechanized proof from partial differential equations to actual program
• TASS: the toolkit for accurate scientific software

zbMATH Keywords

model checkingnumerical algorithmsstatic analysisformal verificationalgorithmic differentiationsymbolic execution

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms
• Polycheck: dynamic verification of iteration space transformations on affine programs
• FEVS: a functional equivalence verification suite for high-performance scientific computing
• TASS: the toolkit for accurate scientific software

This page was built for publication: Verifying properties of differentiable programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041173)